Merge pull request #18740 from asgerf/js/more-precise-diff-informed

JS: Provide more precise related locations
This commit is contained in:
Asger F
2025-02-17 10:27:15 +01:00
committed by GitHub
2 changed files with 4 additions and 2 deletions

View File

@@ -29,8 +29,6 @@ module PolynomialReDoSConfig implements DataFlow::ConfigSig {
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) {
result = sink.(Sink).getLocation()
or
result = sink.(Sink).getHighlight().getLocation()
or
result = sink.(Sink).getRegExp().getLocation()

View File

@@ -29,6 +29,10 @@ module SsrfConfig implements DataFlow::ConfigSig {
predicate isBarrierOut(DataFlow::Node node) { strictSanitizingPrefixEdge(node, _) }
Location getASelectedSourceLocation(DataFlow::Node source) {
none() // Does not select the source
}
predicate observeDiffInformedIncrementalMode() { any() }
}