package bap-saluki
A verification framework for detecting vulnerability patterns in binaries
Install
Dune Dependency
Authors
Maintainers
Sources
bap-1.4.tar.gz
md5=3ed92fef24eea7441791c07f5d8c7d77
Description
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.
Published: 26 Oct 2018
Dependencies (4)
-
bap-taint-propagator
= "1.4.0" -
bap-callsites
= "1.4.0" -
bap-std
= "1.4.0" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page