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=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a

sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

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.