BAP ABI integration subsystem
  • library abi_plugin
  • library bap_abi
Module Bap_abi

pass will apply all registered passes in the unspecified order

val register_pass : ( Bap.Std.project -> Bap.Std.project ) -> unit

register_pass pass registers a pass for the later execution. The pass will be run by a api pass. Usually the pass will inspect the project structure, and if it is not recognized, then it will just return the project untouched, otherwise it may apply some transformations on the project, e.g., demangling, and register further actions in the system, e.g., api transformations.

val name : string Bap.Std.tag