package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sse_types.Path_stateSource

Parameters

module S : STATE

Signature

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

Accessors

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

Modifiers

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

increase depth and extend path

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

Printers

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