pfff 0.40.4 · OCaml Package

val taint_mode : bool ref

val check_danger : 
  Env_interpreter_php.env ->
  Env_interpreter_php.heap ->
  string ->
  Cst_php.info ->
  Callgraph_php2.node list ->
  Env_interpreter_php.value ->
  unit

val taint_expr : 
  Env_interpreter_php.env ->
  Env_interpreter_php.heap ->
  ((Env_interpreter_php.env ->
   Env_interpreter_php.heap ->
   Ast_php.expr ->
   Env_interpreter_php.heap * Env_interpreter_php.value)
   * (Env_interpreter_php.env ->
   Env_interpreter_php.heap ->
   Ast_php.expr ->
   Env_interpreter_php.heap * bool * Env_interpreter_php.value)
   * (Env_interpreter_php.env ->
   Env_interpreter_php.heap ->
   Env_interpreter_php.value ->
   'a * 'b)
   * ('b ->
   Env_interpreter_php.env ->
   'a ->
   Ast_php.expr list ->
   Env_interpreter_php.heap * Env_interpreter_php.value)
   * (Env_interpreter_php.env ->
   Env_interpreter_php.heap ->
   Env_interpreter_php.value ->
   Ast_php.expr list ->
   Env_interpreter_php.heap * Env_interpreter_php.value)
   * (Env_interpreter_php.env ->
   Env_interpreter_php.heap ->
   bool ->
   Env_interpreter_php.value ->
   Env_interpreter_php.value ->
   Env_interpreter_php.heap * Env_interpreter_php.value)) ->
  Callgraph_php2.node list ->
  Ast_php.expr ->
  Env_interpreter_php.heap * Env_interpreter_php.value

val binary_concat : 
  Env_interpreter_php.env ->
  Env_interpreter_php.heap ->
  Env_interpreter_php.value ->
  Env_interpreter_php.value ->
  Callgraph_php2.node list ->
  Env_interpreter_php.value

val fold_slist : Env_interpreter_php.value list -> Env_interpreter_php.value

val when_call_not_found : 
  Env_interpreter_php.heap ->
  Env_interpreter_php.value list ->
  Env_interpreter_php.value

module GetTaint : sig ... end

package pfff