Mohamad Barbar

Also, whether the test I linked should pass or not needs to be considered regardless of what we do next.

If we keep the `+ 1`, I think we would still have `ander` and `nander` producing different results. If we get rid of the `+ 1`, the changing of the...

The average points-to set sizes are, and the max points-to set size is, extremely small, so I don't think you're getting the analysis you expect. I *suspect* that pointers you...

I see. SVF should be able to handle allocation wrappers, it just won't be as precise as you want it to be, especially with a pool allocator. If you know...

I also have no crash on the latest.

Make sure you pull to the latest. My cloned repo was missing one or a few commits and it crashed.

The debug information problem stems from compiling with an old Clang. ``` !0 = !{!"clang version 4.0.0 (tags/RELEASE_400/final)"} ``` Since you are using the Docker version of SVF, it is...

Could it be that the transformations are destroying some `Value`s that SVF expects to exist?

What kind of points-to analysis are you performing? The "easy" answer is to just rebuild everything from scratch every time (graphs, data structures, so on), but if you do this...

Looks like it should be changed to `equalPointsTo`. I'll make a PR.