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