search

secure-software-engineering / phasar

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

Fix Taint Analysis #661

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The last update of the IFDSTaintAnalysis added some bugs that are addressed in this PR.