bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus
val register : ?internal:bool -> ?desc:string -> ?package:string -> string -> unit Analysis.t -> unit

register name analysis registers an analysis under given name.

Fails, if there is already a component with the same name.

val register_generic : ?internal:bool -> ?desc:string -> ?package:string -> string -> component -> unit

register_generic name comp registers a generic component.

val list : unit -> info list

provides information about registered components.