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
Sources
v0.3.tar.gz
md5=fc1ae520b8865426b4c00d319889a639
sha512=4d2d7f81e782baf462b47a3f12b8c5c639338bf29f7555bb9696cf7b4699d89a175351861c75b77c1b76621cd1f1fc03650da3bad493638b6de03d20c4426282
Dependencies
odoc
>= "1.4"
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"
Reverse Dependencies