SinkTrace.S
Suffix of a normal trace: just sinks and passthroughs, but no sources
include TaintTrace.S
include TaintTrace.Spec
module Sanitizer : Sanitizer.S
val get_report :
Source.t ->
Sink.t ->
Sanitizer.t list ->
IBase.IssueType.t option
return Some(issue) a trace from source to sink passing through the given sanitizers should be reported, None otherwise
bottom = this trace has no source or sink data
include AbstractDomain.WithBottom
include AbstractDomain.S
include AbstractDomain.Comparable
val bottom : t
The bottom value of the domain.
val is_bottom : t -> bool
Return true if this is the bottom value
module Sources : sig ... end
module Sinks = Sink.Set
module Passthroughs = Passthrough.Set
type path =
Passthroughs.t
* (Source.t * Passthroughs.t) list
* (Sink.t * Passthroughs.t) list
path from a source to a sink with passthroughs at each step in the call stack. the first set of passthroughs are the ones in the "reporting" procedure that calls the first function in both the source and sink stack
type report = {
issue : IBase.IssueType.t;
path_source : Source.t;
path_sink : Sink.t;
path_passthroughs : Passthroughs.t;
}
val passthroughs : t -> Passthroughs.t
get the passthroughs of the trace
val get_reports : ?cur_site:CallSite.t -> t -> report list
get the reportable source-sink flows in this trace. specifying cur_site
restricts the reported paths to ones introduced by the call at cur_site
val get_reportable_paths :
?cur_site:CallSite.t ->
t ->
trace_of_pname:(IR.Procname.t -> t) ->
path list
get a path for each of the reportable source -> sink flows in this trace. specifying cur_site
restricts the reported paths to ones introduced by the call at cur_site
val to_loc_trace :
?desc_of_source:(Source.t -> string) ->
?source_should_nest:(Source.t -> bool) ->
?desc_of_sink:(Sink.t -> string) ->
?sink_should_nest:(Sink.t -> bool) ->
path ->
Errlog.loc_trace
create a loc_trace from a path; source_should_nest s
should be true when we are going one deeper into a call-chain, ie when lt_level should be bumper in the next loc_trace_elem, and similarly for sink_should_nest
val of_footprint : AccessPath.Abs.t -> t
create a trace from a footprint access path
val add_sanitizer : Sanitizer.t -> t -> t
add a sanitizer to the current trace
val get_footprint_indexes : t -> IStdlib.IntSet.t
get the footprint indexes for all of the sources in the trace
val append : t -> t -> CallSite.t -> t
append the trace for given call site to the current caller trace
val pp : Absint.TaintTrace.F.formatter -> t -> unit
val pp_path : IR.Procname.t -> Absint.TaintTrace.F.formatter -> path -> unit
pretty-print a path in the context of the given procname
type sink_path = Passthrough.Set.t * (Sink.t * Passthrough.Set.t) list
A path from some procedure via the given passthroughs to the given call stack, with passthroughs for each callee
val get_reportable_sink_paths :
t ->
trace_of_pname:(IR.Procname.t -> t) ->
sink_path list
get a path for each of the reportable flows to a sink in this trace
val get_reportable_sink_path :
Sink.t ->
trace_of_pname:(IR.Procname.t -> t) ->
sink_path option
get a report for a single sink
val with_callsite : t -> CallSite.t -> t
update sink with the given call site
val to_sink_loc_trace :
?desc_of_sink:(Sink.t -> string) ->
?sink_should_nest:(Sink.t -> bool) ->
sink_path ->
Errlog.loc_trace_elem list