Dataflow: Use default fieldFlowBranchLimit in qltests.

This commit is contained in:
Anders Schack-Mulligen
2024-02-21 12:09:30 +01:00
parent f945687a93
commit b87b8329a0
5 changed files with 0 additions and 10 deletions

View File

@@ -14,8 +14,6 @@ module ArrayFlowConfig implements DataFlow::ConfigSig {
mc.getAnArgument() = sink.asExpr()
)
}
int fieldFlowBranchLimit() { result = 100 }
}
module ArrayFlow = DataFlow::Global<ArrayFlowConfig>;

View File

@@ -18,8 +18,6 @@ module TypesConfig implements DataFlow::ConfigSig {
mc.getAnArgument() = sink.asExpr()
)
}
int fieldFlowBranchLimit() { result = 1000 }
}
import ValueFlowTest<TypesConfig>

View File

@@ -18,8 +18,6 @@ module ValueFlowConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node n) {
exists(MethodCall ma | ma.getMethod().hasName("sink") | n.asExpr() = ma.getAnArgument())
}
int fieldFlowBranchLimit() { result = 100 }
}
module ValueFlow = DataFlow::Global<ValueFlowConfig>;

View File

@@ -55,8 +55,6 @@ module InlineFlowTestMake<
predicate isSource(DataFlowLang::Node source) { Impl::defaultSource(source) }
predicate isSink(DataFlowLang::Node sink) { Impl::defaultSink(sink) }
int fieldFlowBranchLimit() { result = 1000 }
}
private module NoFlowConfig implements DataFlow::ConfigSig {

View File

@@ -61,8 +61,6 @@ module DefaultFlowConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { defaultSource(source) }
predicate isSink(DataFlow::Node sink) { defaultSink(sink) }
int fieldFlowBranchLimit() { result = 1000 }
}
module NoFlowConfig implements DataFlow::ConfigSig {