bap-veri

BAP Instruction Semantics Verification Tool
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

veri

Documentation:

veri_plugin

Documentation:

  • Veri_out
  • Veri_bil