Module Binsec.Dba_utils

Shelter for functions over DBA

module Expr : sig ... end
val checksize_address : Dba.address -> bool
val checksize_dbacond : Dba.Expr.t -> bool
val checksize_instruction : Dba.Instr.t -> bool
val computesize_dbalhs : Dba.LValue.t -> int
val computesize_dbaexpr : Dba.Expr.t -> int
val contains_lhs : Dba.LValue.t -> Dba.LValue.t -> bool
val globalize_address : Dba.address -> Dba.id Dba.jump_target -> Dba.address

globalize_address root addr generates a global address from addr, * rooting it at root if it is local.

val eval_alternatives : ('a -> 'b) -> ('b -> 'b -> bool) -> 'a list -> 'b
val substitute_dba_expr : Dba.Expr.t -> Dba.Expr.t -> Dba.Expr.t -> Dba.Expr.t