package pfff

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val taint_mode : bool ref
val check_danger : env -> heap -> string -> Cst_php.info -> Callgraph_php2.node list -> value -> unit
val taint_expr : env -> heap -> ((env -> heap -> Ast_php.expr -> heap * value) * (env -> heap -> Ast_php.expr -> heap * bool * value) * (env -> heap -> value -> 'a * 'b) * ('b -> env -> 'a -> Ast_php.expr list -> heap * value) * (env -> heap -> value -> Ast_php.expr list -> heap * value) * (env -> heap -> bool -> value -> value -> heap * value)) -> Callgraph_php2.node list -> Ast_php.expr -> heap * value
val binary_concat : env -> heap -> value -> value -> Callgraph_php2.node list -> value
val fold_slist : value list -> value
val when_call_not_found : heap -> value list -> value
module GetTaint : sig ... end