Closed xudon9 closed 3 years ago
I updated the VSA plugin for BAP 2.x (a somewhat workaround, though).
vsa/value_set
vsa/explicit_edge
value_set
bap 2.2.0
OCaml 4.08.1
I updated the VSA plugin for BAP 2.x (a somewhat workaround, though).
vsa/value_set
andvsa/explicit_edge
now can be builtvalue_set
passedbap 2.2.0
andOCaml 4.08.1