forked from github/codeql
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathGenerators.qll
More file actions
37 lines (33 loc) · 1.21 KB
/
Copy pathGenerators.qll
File metadata and controls
37 lines (33 loc) · 1.21 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
/**
* Provides classes and predicates for working with generator functions.
*/
import javascript
private import semmle.javascript.dataflow.internal.PreCallGraphStep
/**
* Classes and predicates for modelling data-flow for generator functions.
*/
private module GeneratorDataFlow {
private import DataFlow::PseudoProperties
private class ArrayIteration extends PreCallGraphStep {
override predicate storeStep(DataFlow::Node pred, DataFlow::SourceNode succ, string prop) {
exists(DataFlow::FunctionNode f | f.getFunction().isGenerator() |
prop = iteratorElement() and
exists(YieldExpr yield |
yield.getContainer() = f.getFunction() and not yield.isDelegating()
|
pred.asExpr() = yield.getOperand()
) and
succ = f.getReturnNode()
)
}
override predicate loadStoreStep(DataFlow::Node pred, DataFlow::SourceNode succ, string prop) {
exists(DataFlow::FunctionNode f | f.getFunction().isGenerator() |
prop = iteratorElement() and
exists(YieldExpr yield | yield.getContainer() = f.getFunction() and yield.isDelegating() |
pred.asExpr() = yield.getOperand()
) and
succ = f.getReturnNode()
)
}
}
}