Analyze.Analyze_Function
module RegexpHashTbl : sig ... end
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