package bap-saluki

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

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

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.