bap-saluki

Author BAP Team
License MIT
Homepage https://github.com/BinaryAnalysisPlatform/bap-plugins/
Issue Tracker https://github.com/BinaryAnalysisPlatform/bap-plugins/issues
Maintainer Ivan Gotovchits <ivg@ieee.org>
Dependencies
& bap-callsites
bap-std
bap-taint-propagator
Published Mar 17, 2016
Source [git] git://github.com/BinaryAnalysisPlatform/bap-plugins.git
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bap-saluki/bap-saluki.1.0.0~alpha/opam

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.

No package is dependent