Fabian Schiebel

Hi @yuffon, thatks for the details. Based on your description, I have some comments on the handling of function calls (not sure whether you already handle it like this): -...

Hi @yuffon, I have debugged your issue. There was indeed a bug in the PropagateOntoStrategy implementation. Can you check, whether the current version works? > In fact, I use identity...

Hi @BowenZhang-UST, thank you for reporting this issue. You are right, this part of the code is indeed erroneous. We will see, when we have the time to fix this;...

Hi @yuffon, PhASAR supports indirect calls via function pointers and vtables. The IDESolver will automatically provide the resolved callees/callee-candidates as additional parameters to the respective functions. So, the functions `getCallToRetFlowFunction`...

Hi @janniclas, thanks for pointing this out. You are right, the store should actually habe handled by the alias information. However, it seems that we are only generating aliases when...

PhASAR installs these dependencies, because it needs them to compile and run. We are aware that version conflicts are a problem and we are currently completely overhauling our dependency management....

Hi @yurivict, I understand that this is an issue, however, fixing this properly is not straightforward. Can you check whether #707 fixes your issue?

See #555

Hi @icmccorm, I could reproduce your issue. Seems that our installation process is somewhat broken. However, with the non-bootstrap build I could still get myphasartool to build successfully (when out-commenting...

Can you please check whether #532 fixes the warnings you get from cmake?