bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus
Module Bap_primus . Std . Primus . Machine . Main

Parameters

module M : S

Signature

val run : ?envp:string array -> ?args:string array -> Bap.Std.project -> unit M.t -> (exit_status * Bap.Std.project) M.m

run ?envp ?args proj returns a computation that will run a program represented with the proj data structure.

The envp and args parameters are constants, and can be accessible during the computation using Machine.envp and Machine.argp.

The computation evaluates to a pair (result,project) where result is a result of computation and project can be modified by the primus components, e.g., annotated with attributes, etc.