Yulei Sui
Yulei Sui
> Hi, I have been trying to understand how VarGep edges are handled. It looks like a VarGep edge from src --> dst would cause all objects in pts(src) to...
I didn't find `typedef OrderedSet PointsToList;` at SVFUtil.h. Where is it?
@mbarbar could you help take a look at this issue?
Try wllvm https://github.com/travitch/whole-program-llvm
`-locMM` has not been supported for quite a while after SVF migrated to LLVM-7.0 onwards. We would appreciate you can adapt or help us with this option.
Sorry for the late reply. some time to debug. Overloaded recently... The implementation was quite a while ago and was not used or tested since 9.0.0. I will have to...
You can uncomment the code and have a try and gradually adapt the code to this new version.
> Ok I have a working version of the `locMM` switch on the last commit now, but before issuing a PR I would like to understand something better: > >...
The best solution is to initialized `LocationSet::getByteOffset()` and `LocationSet::getOffset()` properly using `LocSymTableInfo`, however, I guess there is one or two places as you mentioned, only used `LocationSet::getOffset()` to create GepObjNode,...
> I was thinking of adding a third method to LocationSet like `LocationSet::getByteOrFieldOffset(bool returnByteOff)` that returns either the byte or field offset based on the boolean flag, which can be...