package cwe_checker

  1. Overview
  2. No Docs

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: 27 Jun 2019

Dependencies (7)

  1. ppx_jane >= "v0.11" & < "v0.12"
  2. core_kernel >= "v0.11" & < "v0.12"
  3. alcotest >= "0.8.3"
  4. bap >= "1.6"
  5. yojson >= "1.6.0"
  6. dune >= "1.6"
  7. 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"