JS: Move FlowSummary/Summaries.qll into testUtilities

This commit is contained in:
Asger F
2024-11-19 14:57:59 +01:00
parent e34064e3b5
commit 6349903110
2 changed files with 3 additions and 3 deletions

View File

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

View File

@@ -11,11 +11,11 @@ class MkSummary extends SummarizedCallable {
mkSummary.getLocation().getStartLine()
}
override DataFlow::InvokeNode getACall() {
override DataFlow::InvokeNode getACallSimple() {
result = mkSummary.flow().(DataFlow::CallNode).getAnInvocation()
}
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
override predicate propagatesFlow(string input, string output, boolean preservesValue) {
preservesValue = true and
(
// mkSummary(input, output)