2ck

Thank you for your quick reply. However, iterating over the callgraph does not seem to allow for distinction when the same function is called by multiple different parents, unless I...

My description of my goal may have been unclear. I have prepared an [example repository](https://github.com/canlockkeyin/SVF-example) to show what I mean. Running the code on the analysis test file results in...

Same problem here, looks like commit 95b7893 broke things. It introduces a timeout, but the default value of 0 is already used before it is set with `setIntegrationCycles`, leading to...