package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val create : ?depth:int -> ?address_counters:Sse_options.Address_counter.t Virtual_address.Map.t -> ?block_index:int -> Senv.t -> Instruction.t -> t
val branch : t -> t

Accessors

val dba_instruction : t -> Dba.Instr.t
val current_statement : t -> Dba_types.Statement.t
val virtual_address : t -> Virtual_address.t
val location : t -> Dba_types.Caddress.t
val symbolic_state : t -> Senv.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 may_lead_to_goal : t -> bool
val inst : t -> Instruction.t
val next_address : t -> Virtual_address.t option

Modifiers

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

increase depth and extend path

val set_symbolic_state : Senv.t -> t -> t
val incr_solver_calls : t -> t
val reset_solver_calls : t -> t
val set_address_counters : Sse_options.Address_counter.t Virtual_address.Map.t -> t -> t
val set_next_address : Virtual_address.t -> t -> t
val with_init_mem_at : addr:Bitvector.t -> size:int -> t -> t

Printers

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct