JS: Provide more precise related locations

This commit is contained in:
Asger F
2025-02-11 14:12:03 +01:00
parent 7476d9ed6b
commit 7e3f89842d
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() }
}