package cbat-tools
Program analysis tools developed at Draper on the CBAT project
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.tar.gz
sha256=27f6e26b899a6bb7e8d9f4d601fe7982b70e9e934ceca7ff803f02bf8a78c1d0
md5=f0cce621aba8c83277a54c11f7b3fc67
Description
This meta package contains two BAP plugins for:
- Value set analysis (cbat-vsa)
- VSA-based resolving of indirect edges in CFG (cbat-explicit-edge)
Published: 26 Oct 2018
Dependencies (5)
-
cbat-explicit-edge
= "0.1" -
cbat-vsa
= "0.1" - ppx_deriving
-
bap-std
= "1.5.0" -
ocaml
>= "4.03" & < "4.06"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page