package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : STATE

Signature

type t
val create : ?depth:int -> ?address_counters:Sse_options.Address_counter.t Binsec.Virtual_address.Map.t -> ?block_index:int -> S.t -> Binsec.Instruction.t -> t
val branch : t -> t

Accessors

val dba_instruction : t -> Binsec.Dba.Instr.t
val current_statement : t -> Binsec.Dba_types.Statement.t
val virtual_address : t -> Binsec.Virtual_address.t
val location : t -> Binsec.Dba_types.Caddress.t
val symbolic_state : t -> S.t
val block_index : t -> int
val id : t -> int
val depth : t -> int
val solver_calls : t -> int
val paths_created : unit -> int
val is_depth_ok : t -> bool
val inst : t -> Binsec.Instruction.t
val next_address : t -> Binsec.Virtual_address.t option

Modifiers

val set_block_index : int -> t -> t
val set_instruction : Binsec.Instruction.t -> t -> t

increase depth and extend path

val set_symbolic_state : S.t -> t -> t
val incr_solver_calls : t -> t
val reset_solver_calls : t -> t
val set_next_address : Binsec.Virtual_address.t -> t -> t

Printers

val pp_loc : Format.formatter -> t -> unit
val pp_path : Format.formatter -> t -> unit