package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method visit_assert : Binsec.Dba.Expr.t -> unit
method visit_assign : Binsec.Dba.LValue.t -> Binsec.Dba.Expr.t -> unit
method visit_assume : Binsec.Dba.Expr.t -> unit
method visit_binary : Binsec.Dba.Binary_op.t -> Binsec.Dba.Expr.t -> Binsec.Dba.Expr.t -> unit
method visit_cond : Binsec.Dba.Expr.t -> unit
method visit_cst : Binsec.Bitvector.t -> unit
method visit_dbainstr : Binsec.Dba_types.Statement.t -> unit
method visit_djump : Binsec.Dba.Expr.t -> unit
method visit_expr : Binsec.Dba.Expr.t -> unit
method visit_exts : Binsec.Dba.Expr.t -> Binsec.Dba.size -> unit
method visit_extu : Binsec.Dba.Expr.t -> Binsec.Dba.size -> unit
method visit_free : Binsec.Dba.Expr.t -> unit
method visit_instrkind : Binsec.Dba.Instr.t -> unit
method visit_ite : Binsec.Dba.Expr.t -> Binsec.Dba.Expr.t -> Binsec.Dba.Expr.t -> unit
method visit_lhs : Binsec.Dba.LValue.t -> unit
method visit_lhs_var : string -> Binsec.Dba.size -> Binsec.Dba.id -> Binsec.Dba.id -> Binsec.Dba.VarTag.t -> unit
method visit_local_if : Binsec.Dba.Expr.t -> Binsec.Dba.id -> Binsec.Dba.id -> unit
method visit_malloc : Binsec.Dba.LValue.t -> Binsec.Dba.Expr.t -> unit
method visit_nondet : Binsec.Dba.LValue.t -> unit
method visit_nondet_assume : Binsec.Dba.LValue.t list -> Binsec.Dba.Expr.t -> unit
method visit_remote_if : Binsec.Dba.Expr.t -> Binsec.Dba.address -> Binsec.Dba.id -> unit
method visit_restrict : Binsec.Dba.Expr.t -> Binsec.Dba.id -> Binsec.Dba.id -> unit
method visit_sjump : Binsec.Dba.id Binsec.Dba.jump_target -> Binsec.Dba.tag option -> unit
method visit_stop : Binsec.Dba.state option -> unit
method visit_unary : Binsec.Dba.Unary_op.t -> Binsec.Dba.Expr.t -> unit
method visit_undef : Binsec.Dba.LValue.t -> unit
method visit_var : string -> Binsec.Dba.size -> Binsec.Dba.VarTag.t -> unit