Phasar

40140110642018

A LLVM-based static analysis framework which comes with a taint and type state analysis.

https://phasar.org/

https://github.com/secure-software-engineering/phasar

Other

Maintained