Martin Mory
Martin Mory
Hi @small-cat , this is indeed a bug and fixing is in progress.
Hi @small-cat , could you please try https://github.com/secure-software-engineering/phasar/tree/f-FixTSAGlobalHandling? I assume you might find more issues, so I am not merging that branch to development yet. Thank you for your tests!
Hi @small-cat , did you find more issues with the analysis? I would like to merge the branch referenced above soon.
Hi Mohannad, I am not sure whether I understand your question correctly. How do you mean your notion of "control dependent"? Are you referring to the problem "which values influence...
Hi @yiyuaner , this is indeed a bug in phasar. LLVM IR itself does not contain all of the information to conclude relationships between classes in all cases. For that...
what is the state of this issue? @icmccorm ?