secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
942 stars 142 forks source link

Fix C++20 build #705

Closed fabianbs96 closed 7 months ago

fabianbs96 commented 8 months ago

Previous changes broke the C++20 build. This PR fixes this and adds some convenience utils (e.g., PSR_CONCEPT)