Andrea Jemmett
Andrea Jemmett
The issue seems to be related to these lines https://github.com/SVF-tools/SVF/blob/a83aec286b249675a56f1b48b987ceb4d8672b69/svf/lib/Graphs/VFG.cpp#L990-L991 Because the argument is not a pointer it does not connect it with the callsite parameter: ``` Matching ValVar ID:...
> Yes, this is the problem and indirectly called function should be done the same way as the original SVFG Does it mean that `updateCallGraph` needs to be properly implemented...
I just tried to commend out the if branch that checks if the argument is a pointer and it seems to be working.
Seems to be working also for larger examples. Thank you very much! I'll do more complex testing and reopen if I find something awry.
\*\*tumbleweed rolls across the scene\*\*
@mkborregaard I'm running in the same issue, with the same setup described above: I have some code divided in sub-modules, one of which defines some utilities that call `@df [..]...
@prashast Thanks for the explanation. Unfortunately I've not been able to run PTA on some targets from the MAGMA dataset. PHP goes out-of-memory on a machine with 128GB of RAM...
Also, the version of SVF used in this prototype is quite old. Newer version haven't changed the API much but have lots of improvements and bug fixes.
@zricethezav Any updates on this? 🙏
@zricethezav gentle ping