Ruby: mass enable diff-informed data flow none() location overrides

An auto-generated patch that enables diff-informed data flow in the obvious cases.

Adds `getASelected{Source,Sink}Location() { none() }` override to queries that select a dataflow source or sink as a location, but not both.
This commit is contained in:
Nora Dimitrijević
2025-06-17 15:48:11 +02:00
parent fb0f12bfe0
commit 6f7e0d6bc8
3 changed files with 6 additions and 0 deletions

View File

@@ -88,6 +88,8 @@ private module HttpVerbConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node source) { none() }
}
private module HttpVerbFlow = TaintTracking::Global<HttpVerbConfig>;

View File

@@ -48,6 +48,8 @@ private module WeakParamsConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node node) { node = any(PersistentWriteAccess a).getValue() }
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node source) { none() }
}
private module WeakParamsFlow = TaintTracking::Global<WeakParamsConfig>;

View File

@@ -21,6 +21,8 @@ private module BasicTaintConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node source) { none() }
}
private module BasicTaintFlow = TaintTracking::Global<BasicTaintConfig>;