cbat-vsa

Value set analysis made in bap ecosystem
Description

A BAP plugin that implements VSA and uses circular linear progressions to abstract over sets of possible values.

Install
Published
26 Oct 2018
Authors
Maintainers
Sources
v0.1.tar.gz
md5=f0cce621aba8c83277a54c11f7b3fc67
Dependencies
bap-std = "1.5.0"
ocaml >= "4.03" & < "4.06"
Reverse Dependencies