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.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)

odoc >= "1.4"
ppx_deriving_yojson >= "3.5.1"
ppx_jane >= "v0.11" & < "v0.12"
core_kernel >= "v0.11" & < "v0.12"
alcotest >= "0.8.3"
bap >= "1.6" & < "2.0"
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 (9)
Dev Dependencies
Used by (1)
Conflicts (1)