minor formatting

ropwareJB · ropwareJB · commit 37d5c69e1844 · 2024-04-05T14:53:07.000-07:00
diff --git a/csharp/ql/lib/semmle/code/csharp/security/dataflow/ZipSlipQuery.qll b/csharp/ql/lib/semmle/code/csharp/security/dataflow/ZipSlipQuery.qll
@@ -20,12 +20,12 @@ class PathCombinerViaMethodCall extends UnsanitizedPathCombiner {
   }
 }
 
-class PathCombinerViaStringInterpolation extends UnsanitizedPathCombiner {
-  PathCombinerViaStringInterpolation() { exists(InterpolatedStringExpr e | this = e) }
-}
+class PathCombinerViaStringInterpolation extends UnsanitizedPathCombiner instanceof InterpolatedStringExpr {}
 
-class PathCombinerViaStringConcatenation extends UnsanitizedPathCombiner {
-  PathCombinerViaStringConcatenation() { exists(AddExpr e | this = e) }
+class PathCombinerViaStringConcatenation extends UnsanitizedPathCombiner instanceof AddExpr {
+  PathCombinerViaStringConcatenation() {
+    this.getAnOperand() instanceof StringLiteral
+  }
 }
 
 class MethodCallGetFullPath extends MethodCall {

Original file line number	Diff line number	Diff line change
`@@ -20,12 +20,12 @@ class PathCombinerViaMethodCall extends UnsanitizedPathCombiner {`
`20`	`20`	`}`
`21`	`21`	`}`
`22`	`22`
`23`		`-class PathCombinerViaStringInterpolation extends UnsanitizedPathCombiner {`
`24`		`- PathCombinerViaStringInterpolation() { exists(InterpolatedStringExpr e \| this = e) }`
`25`		`-}`
	`23`	`+class PathCombinerViaStringInterpolation extends UnsanitizedPathCombiner instanceof InterpolatedStringExpr {}`
`26`	`24`
`27`		`-class PathCombinerViaStringConcatenation extends UnsanitizedPathCombiner {`
`28`		`- PathCombinerViaStringConcatenation() { exists(AddExpr e \| this = e) }`
	`25`	`+class PathCombinerViaStringConcatenation extends UnsanitizedPathCombiner instanceof AddExpr {`
	`26`	`+ PathCombinerViaStringConcatenation() {`
	`27`	`+ this.getAnOperand() instanceof StringLiteral`
	`28`	`+ }`
`29`	`29`	`}`
`30`	`30`
`31`	`31`	`class MethodCallGetFullPath extends MethodCall {`