package bap-saluki

  1. Overview
  2. Docs
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)

  1. bap-taint-propagator = "1.6.0"
  2. bap-callsites = "1.6.0"
  3. bap-std >= "1.6.0"
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.