Make.Engineval isa : Binsec_kernel.Machine.isaval image : Binsec_sse.Image.tval fs : string -> Binsec_kernel.Loader_types.bufferfs filepath returns the content of filepath. It uses the virtual file system which may differ from the host one.
module Path :
Binsec_sse.Types.PATH with type value = Binsec_sse.Symbolic.Default.Expr.tmodule Metrics : sig ... endmodule Debug : sig ... endval lookup :
(Path.value, Path.model, Path.state, Path.t, 'a) Binsec_sse.Types.field_id ->
'a Path.keylookup fid returns the key associated to the field identifier fid registered via PLUGIN.fields.
val resume : Path.t -> Path.t Binsec_sse.Types.continuation -> unitresume path resumes the execution of a path which was paused with Signal Stashed.
It adds back path to the running path worklist.