Module Ai_utils

module Ai_utils: sig .. end
Utilities for abstract interpretation

val unrolled_loops_at_address : Dba_types.Caddress.Map.key ->
Dba_types.Caddress.Set.t Dba_types.Caddress.Map.t -> Dba_types.Caddress.Set.t
val unroll_current_loop : Dba_types.Caddress.Set.elt ->
int -> Dba_types.Caddress.Set.t -> int -> int * int