package fkie-cad-cwe-checker

  1. Overview
  2. Docs
A plugin for bap that detects common bug classes, e.g. use of dangerous functions and simple integer overflows

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. T
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>

Maintainers

  1. T
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>

Sources

v0.1.tar.gz
md5=16a1bf6646095151c23267681a7f457e

Description

These bug classes are formally known as Common Weakness Enumerations (CWEs). Its main goal is to aid analysts to quickly find vulnerable code paths.

Published: 26 Oct 2018

Dependencies (6)

  1. core_kernel < "v0.11"
  2. ppx_jane < "v0.11"
  3. base-unix
  4. yojson = "1.4.1"
  5. bap-std >= "1.5.0"
  6. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None