package cwe_checker

  1. Overview
  2. No Docs
BAP plugin collection to detect common bug classes

Install

Dune Dependency

Authors

Maintainers

Sources

v0.3.tar.gz
md5=fc1ae520b8865426b4c00d319889a639
sha512=4d2d7f81e782baf462b47a3f12b8c5c639338bf29f7555bb9696cf7b4699d89a175351861c75b77c1b76621cd1f1fc03650da3bad493638b6de03d20c4426282

Description

cwe_checker is a suite of tools to detect common bug classes such as use of dangerous functions and simple integer overflows. These bug classes are formally known as Common Weakness Enumerations (CWEs).

Published: 06 Dec 2019

Dependencies (9)

  1. odoc >= "1.4"
  2. ppx_deriving_yojson >= "3.5.1"
  3. ppx_jane >= "v0.11" & < "v0.12"
  4. core_kernel >= "v0.11" & < "v0.12"
  5. alcotest >= "0.8.3"
  6. bap >= "1.6" & < "2.0"
  7. yojson >= "1.6.0"
  8. dune >= "1.6"
  9. ocaml >= "4.05"

Dev Dependencies

None

Used by (1)

  1. fkie-cad-cwe-checker >= "0.2"

Conflicts (1)

  1. fkie-cad-cwe-checker != "0.2"