You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
LLVMPointsToSet takes too much time.
Describe the solution you'd like
Since parallelize LLVMPointsToSet is too hard ( #305 ), providing methods to serialize/deserialize or save/load LLVMPointsToSet may be very useful.
The PointsToSetMap is an unordered_map of llvm::Value* pointers.
I don't known how to serializing these pointers' relations.
Can you give me some instructions?
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
LLVMPointsToSet takes too much time.
Describe the solution you'd like
Since parallelize LLVMPointsToSet is too hard ( #305 ), providing methods to serialize/deserialize or save/load LLVMPointsToSet may be very useful.
Next time when we want to analyze the same project.
This will save much time.
The PointsToSetMap is an unordered_map of llvm::Value* pointers.
I don't known how to serializing these pointers' relations.
Can you give me some instructions?
The text was updated successfully, but these errors were encountered: