search

secure-software-engineering / phasar

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

Fix points to set #490

Closed fabianbs96 closed 2 years ago

fabianbs96 commented 2 years ago

Fix a use-after-free error in the LLVMPointsToSet