Phasar

43743714722018

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