package cbat-vsa
Value set analysis made in bap ecosystem
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.tar.gz
sha256=27f6e26b899a6bb7e8d9f4d601fe7982b70e9e934ceca7ff803f02bf8a78c1d0
md5=f0cce621aba8c83277a54c11f7b3fc67
Description
A BAP plugin that implements VSA and uses circular linear progressions to abstract over sets of possible values.
Published: 26 Oct 2018
Dependencies (3)
- ppx_deriving
-
bap-std
= "1.5.0" -
ocaml
>= "4.03" & < "4.06"
Dev Dependencies
None
Used by (2)
Conflicts
None
On This Page