Module Abstract_interpreter_php

val strict : bool Stdlib.ref
val max_depth : int Stdlib.ref
val extract_paths : bool Stdlib.ref
val show_vardump : bool Stdlib.ref
exception UnknownFunction of string
exception UnknownClass of string
exception UnknownConstant of string
exception UnknownMember of string * string * string list
exception UnknownObject
exception LostControl
module Interp : functor (Taint : Env_interpreter_php.TAINT) -> sig ... end
val _checkpoint_heap : (Env_interpreter_php.heap * Env_interpreter_php.value Env_interpreter_php.SMap.t) option Stdlib.ref
val graph : Callgraph_php2.callgraph Stdlib.ref