secure-software-engineering / phasar

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

Opaque Pointers Integration #730

Open fabianbs96 opened 3 months ago

fabianbs96 commented 3 months ago

This PR adds the following changes: