secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
919 stars 140 forks source link

Phasar does not support exit #727

Closed yuffon closed 6 days ago

yuffon commented 6 days ago

Bug description

Describe here the issue that you are experiencing.

Steps to reproduce

Actual result: Describe here what happens after you run the steps above (i.e. the buggy behavior)

Expected result: Describe here what should happen after you run the steps above (i.e. what would be the correct behavior)

Context (Environment)

Operating System:

Build Type:

Possible solution

We are happy to discuss possible solutions to this problem, especially if it originates from a design flaw.

Example files

Files: