package bap-abi
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5
md5=b8b1aff8c6846f2213eafc54de07b304
doc/bap-abi/Bap_abi/index.html
Module Bap_abi
ABI dispatcher.
This library accompanies the abi pass, and allows to inject arbitrary transformation on the abi recognition phase. The abi pass is run before the api pass.
The library and the pass have no specific functionality, other than running the passes, that were registered by specific compiler, language or architecture specific modules.
val pass : Bap.Std.project -> Bap.Std.projectpass will apply all registered passes in the unspecified order
val register_pass : (Bap.Std.project -> Bap.Std.project) -> unitregister_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