Module Dba_utils

module Dba_utils: sig .. end
Shelter for functions over DBA

module Expr: sig .. end
val checksize_address : Dba.address -> bool
val checksize_dbacond : Dba.cond -> bool
val checksize_instruction : Dba.instruction -> bool
val computesize_dbalhs : Dba.lhs -> int
val computesize_dbaexpr : Dba.expr -> int
val contains_lhs : Dba.lhs -> Dba.lhs -> bool
val globalize_address : Dba.address -> 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 -> Dba.expr -> Dba.expr -> Dba.expr
val substitute_dba_expr_cond : Dba.expr -> Dba.expr -> Dba.cond -> Dba.cond