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.

AuthorBAP Team
LicenseMIT
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/bap-plugins/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap-plugins/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/bap-plugins/archive/bap-1.4.tar.gz
md5=3ed92fef24eea7441791c07f5d8c7d77
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-saluki/bap-saluki.bap-1.4/opam
No package is dependent