Module Static_utils

module Static_utils: sig .. end
Common functions for static analyses

val update_instr_map : Dba.address ->
Dba_types.Caddress.Map.key ->
Disasm_types.pmap ->
Dba_types.Caddress.Set.t ->
'a Dba_types.Caddress.Map.t ->
'a * 'a Dba_types.Caddress.Map.t ->
Dba_types.Caddress.Set.t Dba_types.Caddress.Map.t ->
Dba_types.Caddress.Set.t Dba_types.Caddress.Map.t ->
(Dba.instruction * Disasm_types.GenericInstruction.t option) *
Disasm_types.pmap * 'a Dba_types.Caddress.Map.t *
Dba_types.Caddress.Set.t Dba_types.Caddress.Map.t