parse empty string as package name

owen-mc · owen-mc · commit f6f594e4b580 · 2024-05-08T15:33:19.000+01:00
diff --git a/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll b/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll
@@ -271,6 +271,8 @@ private string interpretPackage(string p) {
     then result = package(p.regexpCapture(r, 1), p.regexpCapture(r, 4))
     else result = package(p, "")
   )
+  or
+  p = "" and result = ""
 }
 
 /** Gets the source/sink/summary element corresponding to the supplied parameters. */

Original file line number	Diff line number	Diff line change
`@@ -271,6 +271,8 @@ private string interpretPackage(string p) {`
`271`	`271`	`then result = package(p.regexpCapture(r, 1), p.regexpCapture(r, 4))`
`272`	`272`	`else result = package(p, "")`
`273`	`273`	`)`
	`274`	`+ or`
	`275`	`+ p = "" and result = ""`
`274`	`276`	`}`
`275`	`277`
`276`	`278`	`/** Gets the source/sink/summary element corresponding to the supplied parameters. */`