package bap-saluki
A verification framework for detecting vulnerability patterns in binaries
Install
Dune Dependency
Authors
Maintainers
Sources
bap-1.6.tar.gz
sha256=26da041b28ee067175fe4542460de0591726ee0b9411703c4d288bdcf5b7b2b3
md5=cde0acbbabfa8f8d9bf670c731434ebe
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: 10 Apr 2019
Dependencies (4)
-
bap-taint-propagator
= "1.6.0"
-
bap-callsites
= "1.6.0"
-
bap-std
>= "1.6.0"
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page