JS: Update testUtilities import

This commit is contained in:
Asger F
2024-12-19 14:01:55 +01:00
parent 3acd4814de
commit 33e8bd5032
31 changed files with 34 additions and 34 deletions

View File

@@ -21,6 +21,6 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate flow = TestFlow::flow/2;

View File

@@ -21,6 +21,6 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate flow = TestFlow::flow/2;

View File

@@ -45,6 +45,6 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
}
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate flow = TestFlow::flow/2;

View File

@@ -77,7 +77,7 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate dataflow = TestFlow::flow/2;

View File

@@ -1,6 +1,6 @@
import javascript
deprecated import testUtilities.ConsistencyChecking
import testUtilities.InlineSummaries
deprecated import utils.test.ConsistencyChecking
import utils.test.InlineSummaries
DataFlow::CallNode getACall(string name) {
result.getCalleeName() = name

View File

@@ -19,7 +19,7 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated class Consistency extends ConsistencyConfiguration {
Consistency() { this = "Consistency" }

View File

@@ -93,7 +93,7 @@ deprecated class IsSanitizedGuardLegacy extends IsSanitizedGuard,
}
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
from DataFlow::Node source, DataFlow::Node sink
where TestFlow::flow(source, sink)

View File

@@ -1,6 +1,6 @@
import javascript
private import semmle.javascript.dataflow.internal.StepSummary
deprecated import testUtilities.LegacyDataFlowDiff
deprecated import utils.test.LegacyDataFlowDiff
module ValueFlowConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {

View File

@@ -33,4 +33,4 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -26,4 +26,4 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -25,4 +25,4 @@ query predicate taintedSink(DataFlow::Node source, DataFlow::Node sink) {
TestFlow::flow(source, sink)
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, ExampleConfiguration>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, ExampleConfiguration>

View File

@@ -1,6 +1,6 @@
import javascript
import semmle.javascript.dataflow.InferredTypes
deprecated import testUtilities.ConsistencyChecking
deprecated import utils.test.ConsistencyChecking
DataFlow::CallNode getACall(string name) {
result.getCalleeName() = name
@@ -39,7 +39,7 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
}
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
class BasicSanitizerGuard extends DataFlow::CallNode {
BasicSanitizerGuard() { this = getACall("isSafe") }

View File

@@ -39,6 +39,6 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
}
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate flow = TestFlow::flow/2;

View File

@@ -1,5 +1,5 @@
import javascript
import testUtilities.InlineExpectationsTest
import utils.test.InlineExpectationsTest
import semmle.javascript.security.TaintedUrlSuffix
module TestConfig implements DataFlow::StateConfigSig {

View File

@@ -1,3 +1,3 @@
import javascript
import testUtilities.InlineFlowTest
import utils.test.InlineFlowTest
import DefaultFlowTest

View File

@@ -60,4 +60,4 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -1,6 +1,6 @@
import javascript
import testUtilities.InlineSummaries
import testUtilities.InlineExpectationsTest
import utils.test.InlineSummaries
import utils.test.InlineExpectationsTest
private DataFlow::SourceNode typeTrack(DataFlow::TypeTracker t, string name) {
t.start() and

View File

@@ -41,4 +41,4 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -18,7 +18,7 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
from DataFlow::Node src, DataFlow::Node sink
where TestFlow::flow(src, sink)

View File

@@ -22,7 +22,7 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
DataFlow::SourceNode trackSource(DataFlow::TypeTracker t, DataFlow::SourceNode start) {
t.start() and

View File

@@ -23,7 +23,7 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
from DataFlow::Node source, DataFlow::Node sink
where TestFlow::flow(source, sink)

View File

@@ -23,4 +23,4 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
query predicate dataFlow = TestFlow::flow/2;
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -22,6 +22,6 @@ deprecated class LegacyConfig extends DataFlow::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate dataFlow = TestFlow::flow/2;

View File

@@ -23,7 +23,7 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
from DataFlow::Node source, DataFlow::Node sink
where TestFlow::flow(source, sink)

View File

@@ -62,7 +62,7 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate taintFlow(DataFlow::Node source, DataFlow::Node sink) {
TestFlow::flow(source, sink)

View File

@@ -1,6 +1,6 @@
import javascript
import semmle.javascript.security.dataflow.DomBasedXssQuery
deprecated import testUtilities.LegacyDataFlowDiff
deprecated import utils.test.LegacyDataFlowDiff
deprecated query predicate legacyDataFlowDifference =
DataFlowDiff<DomBasedXssFlow, Configuration>::legacyDataFlowDifference/3;

View File

@@ -25,4 +25,4 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -41,7 +41,7 @@ deprecated class LegacyConfig extends TaintTracking::Configuration {
override predicate isSink(DataFlow::Node sink) { TestConfig::isSink(sink) }
}
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
query predicate taintFlow(DataFlow::Node source, DataFlow::Node sink) {
TestFlow::flow(source, sink)

View File

@@ -44,4 +44,4 @@ private module InlineTestSources implements TestSig {
}
import MakeTest<InlineTestSources>
deprecated import testUtilities.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>
deprecated import utils.test.LegacyDataFlowDiff::DataFlowDiff<TestFlow, LegacyConfig>

View File

@@ -1,6 +1,6 @@
import javascript
import semmle.javascript.security.dataflow.ClientSideUrlRedirectQuery
import testUtilities.ConsistencyChecking
import utils.test.ConsistencyChecking
deprecated class ClientSideUrlRedirectConsistency extends ConsistencyConfiguration {
ClientSideUrlRedirectConsistency() { this = "ClientSideUrlRedirectConsistency" }