bap-core-theory 2.5.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

core_theory_plugin

Documentation:

  • Core_theory_main

bap_core_theory

Documentation:

  • Bap_core_theory_value
  • Bap_core_theory_IEEE754
  • Bap_core_theory_effect
  • Bap_core_theory_var
  • Bap_core_theory_target
  • Bap_core_theory_program
  • Bap_core_theory_definition
  • Bap_core_theory_basic
  • Bap_core_theory_empty
  • Bap_core_theory_pass
  • Bap_core_theory_manager
  • Bap_core_theory_grammar_definition
  • Bap_core_theory_parser
  • Bap_core_theory BAP Semantics Representation.