bap-salukiversion
A verification framework for detecting vulnerability patterns in binaries
Saluki framework allows users to easily specify properties for de- tecting taint-style vulnerabilities automatically, drastically reducing the need for manual auditing of binaries. Prop- erties are formally verified over a program model which abstracts the concrete program.
| Author | BAP Team |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/BinaryAnalysisPlatform/bap-plugins/ |
| Issue Tracker | https://github.com/BinaryAnalysisPlatform/bap-plugins/issues |
| Maintainer | Ivan Gotovchits <ivg@ieee.org> |
| Dependencies |
|
| Source [http] | https://github.com/BinaryAnalysisPlatform/bap-plugins/archive/bap-1.5.tar.gz sha256=616c62578b52d6d2572020a40753be39ff4e58c503c4f5773e09a6b6e93a8bd8 md5=703c7f04f24dc3a543088d166e610abd |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-saluki/bap-saluki.bap-1.5/opam |
No package is dependent
