search

secure-software-engineering / phasar

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

Workaround installation issue #532

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

As #531 shows, there are issues with the installation of phasar. This PR aims to work around this issue to bridge the time until #516 is merged.

fabianbs96 commented 1 year ago

Note: In this PR the examples/use-phasar-as-library folder is still out-of-sync with rest of phasar. This is already fixed in #530, so I won't fix it here again

pdschubert commented 1 year ago

I'm probably not a good candidate to review this. @MMory and @vulder will be much better reviewers for the pull-request. Let me know if I can safely merge these changes.