package bap-saluki
A verification framework for detecting vulnerability patterns in binaries
Install
Dune Dependency
Authors
Maintainers
Sources
bap-1.5.tar.gz
sha256=616c62578b52d6d2572020a40753be39ff4e58c503c4f5773e09a6b6e93a8bd8
md5=703c7f04f24dc3a543088d166e610abd
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.5.0" -
bap-callsites
= "1.5.0" -
bap-std
= "1.5.0" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page