package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val value : t Stdlib.ref
val add_visited : unit -> unit
val add_choice : unit -> unit
val add_assert_unknown : unit -> unit
val add_assert_failed : unit -> unit
val add_opaque_predicate : unit -> unit
val add_clear_predicate : unit -> unit
val add_unknown_predicate : unit -> unit
val add_predicate_opaque : PredicatSet.elt -> unit
val add_predicate_clear : PredicatSet.elt -> unit
val add_predicate_unknown : PredicatSet.elt -> unit
val add_predicate_unfeasible : PredicatSet.elt -> unit
val add_unfeasible_paths : unit -> unit
val add_unfeasible_predicate : unit -> unit
val add_jump_done : Virtual_address.Set.elt -> unit
val add_op_detected : unit -> unit
val add_other_op : unit -> unit
val add_fn : unit -> unit
val add_path : unit -> unit
val get_nb_paths : unit -> int
val add_must_be_opaque : Virtual_address.Set.elt -> unit
val remove_opaque_predicate : unit -> unit
val remove_clear_predicate : unit -> unit
val remove_unknown_predicate : unit -> unit
val remove_unfeasible_predicate : unit -> unit
val get_predicates_opaque : unit -> PredicatSet.t
val get_predicates_clear : unit -> PredicatSet.t
val get_predicates_unknown : unit -> PredicatSet.t
val get_predicates_unfeasible : unit -> PredicatSet.t
val pp : Stdlib.Format.formatter -> unit -> unit
val pp_predicate : Stdlib.Format.formatter -> unit -> unit
val set_all_jumps : Virtual_address.t Stdlib.Stack.t option -> unit
val set_cur_jmp_cond : Dba.Expr.t option -> unit
val get_cur_jmp_cond : unit -> Dba.Expr.t option
val get_must_be_opaque : unit -> Virtual_address.Set.t
val get_jumps_done : unit -> Virtual_address.Set.t
val get_right_left_conds : unit -> Bitvector.t Virtual_address.Htbl.t
val get_paths_per_jump : unit -> int Virtual_address.Htbl.t
val get_entrypoint_per_jump : unit -> int Virtual_address.Htbl.t
val get_jmp_entry : unit -> Virtual_address.t Virtual_address.Htbl.t
val get_times : unit -> float Virtual_address.Htbl.t
val get_t_start : unit -> float
val set_t_start : float -> unit
val get_t_end : unit -> float
val set_t_end : float -> unit
val get_times_e : unit -> float Virtual_address.Htbl.t
val get_t_start_e : unit -> float
val set_t_start_e : float -> unit
val get_t_end_e : unit -> float
val set_t_end_e : float -> unit
val get_times_b : unit -> float Virtual_address.Htbl.t
val get_t_start_b : unit -> float
val set_t_start_b : float -> unit
val get_t_end_b : unit -> float
val set_t_end_b : float -> unit
val get_times_s : unit -> float Virtual_address.Htbl.t
val get_t_start_s : unit -> float
val set_t_start_s : float -> unit
val get_t_end_s : unit -> float
val set_t_end_s : float -> unit
val get_entrypoint : unit -> Virtual_address.t
val set_entrypoint : Virtual_address.t -> unit
val get_nb_cur_instr : unit -> int
val set_nb_cur_instr : int -> unit
val get_nb_instr : unit -> int Stdlib.Stack.t
val add_nb_instr : int -> unit
val get_g_t_set : unit -> Virtual_address.Set.t
val add_g_t_set : Virtual_address.Set.elt -> unit
OCaml

Innovation. Community. Security.