package cwe_checker

You can search for identifiers within the package.

in-package search v0.2.0

BAP plugin collection to detect common bug classes

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

Maintainers

C

CWE_checker Team <nils-edvin.enkelmann@fkie.fraunhofer.de>

Sources

v0.2.tar.gz

sha256=42dfdeb09d755c8a76fa64bb33c682ad6d82a46b38d2f6dd7e498dddcb91e193

md5=a63e66b89c3ec36da6a5006be0e70f90

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)

ppx_jane >= "v0.11" & < "v0.12"
core_kernel >= "v0.11" & < "v0.12"
alcotest >= "0.8.3"
bap >= "1.6"
yojson >= "1.6.0"
dune >= "1.6"
ocaml >= "4.05"

Dev Dependencies

None

Used by (1)

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

Conflicts (1)

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

On This Page

Description
Dependencies (7)
Dev Dependencies
Used by (1)
Conflicts (1)