bap-bil

Controls the BIL transformation pipeline
IN THIS PACKAGE
  • library bil_plugin

Libraries

This package provides the following libraries (via ocamlobjinfo):

bil_plugin

Documentation:

  • Bil_ir
  • Bil_float
  • Bil_semantics
  • Bil_lifter
  • Bil_main