secure-software-engineering / phasar

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

Fix and Update PAMM #655

Closed fabianbs96 closed 10 months ago

fabianbs96 commented 11 months ago

In current PhASAR versions, the Performance Measurement Mechanism (PAMM) is broken -- it does not even compile.

This PR fixes PAMM such that it compiles, make the unittests assert something and adds slight improvements on PAMM's code.