We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e140548 commit 6a28dddCopy full SHA for 6a28ddd
javascript/ql/lib/semmle/javascript/dataflow/TaintTracking.qll
@@ -551,6 +551,19 @@ module TaintTracking {
551
}
552
553
554
+ /**
555
+ * A taint propagating data flow edge through persistent storage.
556
+ * Use `TaintTracking::persistentStorageStep` instead of accessing this class.
557
+ */
558
+ private class PersistentStorageTaintStep extends SharedTaintStep {
559
+ override predicate persistentStorageStep(DataFlow::Node pred, DataFlow::Node succ) {
560
+ exists(PersistentReadAccess read |
561
+ pred = read.getAWrite().getValue() and
562
+ succ = read
563
+ )
564
+ }
565
566
+
567
/**
568
* A taint propagating data flow edge for assignments of the form `o[k] = v`, where
569
* one of the following holds:
0 commit comments