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
- Authors
-
Sources
v0.3.tar.gz
md5=fc1ae520b8865426b4c00d319889a639
sha512=4d2d7f81e782baf462b47a3f12b8c5c639338bf29f7555bb9696cf7b4699d89a175351861c75b77c1b76621cd1f1fc03650da3bad493638b6de03d20c4426282
Dependencies
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"
Reverse Dependencies
fkie-cad-cwe-checker
>= "0.2"