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
Authors
Sources
bap-1.6.tar.gz
md5=cde0acbbabfa8f8d9bf670c731434ebe
Dependencies
Reverse Dependencies