Module Make.TransferFunctions

Parameters

Signature

module CFG = CFG
module Domain = Domain
type nonrec analysis_data = analysis_data
val exp_get_node_ : abstracted:bool -> Absint.AccessPath.Abs.raw -> TaintDomain.t -> Absint.FormalMap.t -> TaintDomain.node option
val hil_exp_get_node : ?abstracted:bool -> Absint.HilExp.t -> TaintDomain.t -> Absint.FormalMap.t -> TaintDomain.node option
val is_endpoint : TraceDomain.Source.t -> bool

log any new reportable source-sink flows in trace

val add_sources_sinks_for_exp : analysis_data -> Absint.HilExp.t -> IBase.Location.t -> TaintDomain.t -> TaintDomain.t
val exec_write : Absint.FormalMap.t -> Absint__HilExp.access_expression -> Absint.HilExp.t -> TaintDomain.t -> TaintDomain.t
val analyze_call : analysis_data -> ret_ap:(IR.Var.t * IR.Typ.t) -> callee_pname:IR.Procname.t -> actuals:Absint.HilExp.t list -> call_flags:IR.CallFlags.t -> callee_loc:IBase.Location.t -> TaintDomain.t -> TaintDomain.t
val exec_instr : Domain.t -> analysis_data -> 'a -> 'b -> Absint.HilInstr.t -> Domain.t
val pp_session_name : CFG.Node.t -> F.formatter -> unit