formatting qll file

luciaromeroML · luciaromeroML · commit e50938588e35 · 2021-11-03T10:30:35.000-03:00
diff --git a/javascript/ql/src/experimental/Security/CWE-918/SSRF.qll b/javascript/ql/src/experimental/Security/CWE-918/SSRF.qll
@@ -21,13 +21,14 @@ class Configuration extends TaintTracking::Configuration {
     or
     hasSanitizingSubstring(nd.getAPredecessor())
   }
-  
+
   private predicate strictSanitizingPrefixEdge(DataFlow::Node source, DataFlow::Node sink) {
     exists(DataFlow::Node operator, int n |
       StringConcatenation::taintStep(source, sink, operator, n) and
       hasSanitizingSubstring(StringConcatenation::getOperand(operator, [0 .. n - 1]))
     )
   }
+
   override predicate isSanitizerEdge(DataFlow::Node source, DataFlow::Node sink) {
     strictSanitizingPrefixEdge(source, sink)
   }

Original file line number	Diff line number	Diff line change
`@@ -21,13 +21,14 @@ class Configuration extends TaintTracking::Configuration {`
`21`	`21`	`or`
`22`	`22`	`hasSanitizingSubstring(nd.getAPredecessor())`
`23`	`23`	`}`
`24`		`-`
	`24`	`+`
`25`	`25`	`private predicate strictSanitizingPrefixEdge(DataFlow::Node source, DataFlow::Node sink) {`
`26`	`26`	`exists(DataFlow::Node operator, int n \|`
`27`	`27`	`StringConcatenation::taintStep(source, sink, operator, n) and`
`28`	`28`	`hasSanitizingSubstring(StringConcatenation::getOperand(operator, [0 .. n - 1]))`
`29`	`29`	`)`
`30`	`30`	`}`
	`31`	`+`
`31`	`32`	`override predicate isSanitizerEdge(DataFlow::Node source, DataFlow::Node sink) {`
`32`	`33`	`strictSanitizingPrefixEdge(source, sink)`
`33`	`34`	`}`