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

Authors

Maintainers

Sources

v0.1.tar.gz
sha256=5b850c0ee438acbb221e7523b8df299a9c4a53a607a85d5ee5dc4e048ac90444
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

OCaml

Innovation. Community. Security.