forked from github/codeql
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtests.ql
More file actions
33 lines (27 loc) · 1003 Bytes
/
Copy pathtests.ql
File metadata and controls
33 lines (27 loc) · 1003 Bytes
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
import javascript
query predicate fieldStep(DataFlow::Node pred, DataFlow::Node succ) {
DataFlow::localFieldStep(pred, succ)
}
query predicate getAReceiverNode(DataFlow::ClassNode cls, DataFlow::SourceNode recv) {
cls.getAReceiverNode() = recv
}
query predicate getFieldTypeAnnotation(DataFlow::ClassNode cls, string name, TypeAnnotation ann) {
ann = cls.getFieldTypeAnnotation(name)
}
query predicate instanceMember(
DataFlow::ClassNode cls, string name, string kind, DataFlow::FunctionNode inst, string clsName
) {
cls.getInstanceMember(name, kind) = inst and clsName = cls.getName()
}
query predicate instanceMethod(
DataFlow::ClassNode cls, string name, DataFlow::FunctionNode inst, string clsName
) {
cls.getInstanceMethod(name) = inst and clsName = cls.getName()
}
query predicate superClass(
DataFlow::ClassNode cls, DataFlow::ClassNode sup, string clsName, string supName
) {
sup = cls.getADirectSuperClass() and
clsName = cls.getName() and
supName = sup.getName()
}