= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
Program analysis tools developed at Draper on the CBAT project
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
Sources
v0.1.tar.gz
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