package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

Dependency

sha256=b758f3428b62a03103403196af99a5bb7df77a35afbcc5ce2d2b1fbe6d2ab36b

sha512=afa4fdf09ae0c2ab02530d674f9f2c1473d156e0438b4cb9c262ffea2d98c448251de55cd6fb176562edaae3897aeabe873ffa1ad47f861c75e1943792d90261

val isa : Binsec_kernel.Machine.isa

val image : Binsec_sse.Image.t

val fs : string -> Binsec_kernel.Loader_types.buffer

fs 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.t

module Metrics : sig ... end

module Debug : sig ... end

val lookup : 
  (Path.value, Path.model, Path.state, Path.t, 'a) Binsec_sse.Types.field_id ->
  'a Path.key

lookup fid returns the key associated to the field identifier fid registered via PLUGIN.fields.

val resume : Path.t -> Path.t Binsec_sse.Types.continuation -> unit

resume path resumes the execution of a path which was paused with Signal Stashed.

It adds back path to the running path worklist.

val compile : 
  Binsec_sse.Ir.View.t ->
  Binsec_sse.Ir.View.vertex ->
  ([ `All ], Path.t) Binsec_sse.Types.fiber

compile graph compiles the Ir code block into an executable form and returns a mapping from graph vertices to their associated fiber nodes.

The resulting nodes can be fed to the Continue and Return_to continuations.