Module Analyze.Analyze_Function

module RegexpHashTbl : sig ... end
val equal_var_addresses : 'a VarMap.t -> 'a VarMap.t -> bool
val equal_string_addresses : 'a StringMap.t -> 'a StringMap.t -> bool
val join_state : C2Codex.state option -> C2Codex.state option -> C2Codex.state option
val check_argument_types : Domain.Context.t -> Types.Ctypes.typ list -> (int * Domain.binary) list -> bool
val funcall' : C2Codex.funcall
val funcall : C2Codex.funcall
val entryfuncall : C2Codex.funcall
val analyze_function : C2Codex.state -> Frama_c_kernel.Kernel_function.t -> (int * Domain.binary) option * C2Codex.state option