tainted may contain taint from
sinkNode are the corresponding
PathNodes that can be used in a query
to provide path explanations. Extend
TaintTrackingConfiguration to use
A tainted expression is either directly user input, or is computed from user input in a way that users can probably control the exact output of the computation.