package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Generic utility functions for DBA simplification

type stats
val statistics : (Dba.Instr.t * 'a) Dba_types.Caddress.Map.t -> stats
val display_results : stats -> (Dba.Instr.t * 'a) Dba_types.Caddress.Map.t -> Format.formatter -> float -> unit
val must_lhs_expr_equal : Dba.LValue.t -> Dba.Expr.t -> bool
val lhs_mustkilled_by_lhs : Dba.LValue.t -> Dba.LValue.t -> bool
val lhs_mayused_in_expr : Dba.LValue.t -> Dba.Expr.t -> bool
val lhs_mayused_in_lhs : Dba.LValue.t -> Dba.LValue.t -> bool