search

secure-software-engineering / phasar

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

Fix taint analysis #648

Closed fabianbs96 closed 11 months ago

fabianbs96 commented 11 months ago

Correctness fixes + precision/performance improvements for the IFDSTaintAnalysis.

Related to #643.