cwe_checker

BAP plugin collection to detect common bug classes
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).

Install
Published
27 Jun 2019
Sources
v0.2.tar.gz
md5=a63e66b89c3ec36da6a5006be0e70f90
Dependencies
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"
Reverse Dependencies