search

secure-software-engineering / phasar

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

Fix PointsToInfo #719

Closed fabianbs96 closed 5 months ago

fabianbs96 commented 7 months ago

See #718