bap-saluki
A verification framework for detecting vulnerability patterns in binaries
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.
Install
- Published
- 10 Apr 2019
- Authors
- Maintainers
Sources
Dependencies
Reverse Dependencies