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:Bbsse_options.Address_counter.t Virtual_address.Map.t -> ?cfg:C.t -> ?block_index:int -> Sse_symbolic.State.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 -> Sse_symbolic.State.t
val block_index : t -> int
val id : t -> int
val solver_calls : t -> int
val paths_created : unit -> int
val may_lead_to_goal : t -> bool
val cfg : t -> C.t
val entrypoint : t -> Virtual_address.t
val inst : t -> Instruction.t

Modifiers

val set_block_index : int -> t -> t
val set_symbolic_state : Sse_symbolic.State.t -> t -> t
val incr_solver_calls : t -> t
val reset_solver_calls : t -> t
val set_address_counters : Bbsse_options.Address_counter.t Virtual_address.Map.t -> t -> t
val goto_vaddr : Virtual_address.t -> t -> t
val goto : Dba_types.Caddress.t -> t -> t
val add_assertion : Formula.bl_term -> t -> t
val with_init_mem_at : addr:Bitvector.t -> size:int -> t -> t
val address_belongs_to_init : addr:Bitvector.t -> t -> bool
val prepare_solver_in_state : ?keep:Binsec.Formula.VarSet.t -> t -> Solver.Session.t -> unit

Printers

val pp_loc : Stdlib.Format.formatter -> t -> unit
val pp_path : t -> unit
val dump_cfg : filename:string -> 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