hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

JS: Port Classes test

Browse Source
This commit is contained in:
Asger F
2023-10-05 14:49:04 +02:00
parent 9a15a557b4
commit 1a95961bac
2 changed files with 19 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
javascript/ql/test/library-tests/Classes/tests.expected
View File

@@ -1,3 +1,4 @@
legacyDataFlowDifference
test_FieldInits
| dataflow.js:5:3:5:17 | #priv = source; | dataflow.js:5:11:5:16 | source |
| fields.js:3:3:3:8 | y = 42 | fields.js:3:7:3:8 | 42 |
@@ -287,9 +288,6 @@ getAccessModifier
| tst.js:12:3:12:8 | m() {} | tst.js:12:3:12:3 | m | Public |
| tst.js:13:3:13:10 | [m]() {} | tst.js:13:4:13:4 | m | Public |
| tst.js:17:3:17:20 | m() { return 42; } | tst.js:17:3:17:3 | m | Public |
dataflow
| dataflow.js:2:15:2:22 | "source" | dataflow.js:14:7:14:25 | new Foo().getPriv() |
| dataflow.js:2:15:2:22 | "source" | dataflow.js:16:7:16:33 | new Foo ... ivate() |
staticInitializer
| staticInitializer.js:1:1:18:1 | class M ... ;\\n }\\n} | staticInitializer.js:6:10:8:3 | {\\n M ... 3;\\n } |
| staticInitializer.js:1:1:18:1 | class M ... ;\\n }\\n} | staticInitializer.js:15:10:17:3 | {\\n t ... 6;\\n } |
@@ -312,3 +310,6 @@ privateIdentifier
| privateFields.js:37:12:37:17 | #brand |
| privateFields.js:37:29:37:35 | #method |
| privateFields.js:37:47:37:53 | #getter |
dataflow
| dataflow.js:2:15:2:22 | "source" | dataflow.js:14:7:14:25 | new Foo().getPriv() |
| dataflow.js:2:15:2:22 | "source" | dataflow.js:16:7:16:33 | new Foo ... ivate() |

22
javascript/ql/test/library-tests/Classes/tests.ql
View File

@@ -57,22 +57,30 @@ query string getAccessModifier(DataFlow::PropRef ref, Expr prop) {
if ref.isPrivateField() then result = "Private" else result = "Public"
}
class Configuration extends DataFlow::Configuration {
Configuration() { this = "ClassDataFlowTestingConfig" }
override predicate isSource(DataFlow::Node source) {
module TestConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {
source.getEnclosingExpr().(StringLiteral).getValue().toLowerCase() = "source"
}
override predicate isSink(DataFlow::Node sink) {
predicate isSink(DataFlow::Node sink) {
any(DataFlow::CallNode call | call.getCalleeName() = "sink").getAnArgument() = sink
}
}
query predicate dataflow(DataFlow::Node pred, DataFlow::Node succ) {
any(Configuration c).hasFlow(pred, succ)
module TestFlow = DataFlow::Global<TestConfig>;
class LegacyConfig extends DataFlow::Configuration {
LegacyConfig() { this = "LegacyConfig" }
override predicate isSource(DataFlow::Node source) { TestConfig::isSource(source) }
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate dataflow = TestFlow::flow/2;
query BlockStmt staticInitializer(ClassDefinition cd) { result = cd.getAStaticInitializerBlock() }
query Identifier privateIdentifier() { result.getName().matches("#%") }