Go/UnhandledCloseWritableHandle

d10c · d10c · commit 0d532d017aeb · 2025-10-15T14:37:52.000+02:00
diff --git a/go/ql/src/InconsistentCode/UnhandledCloseWritableHandle.ql b/go/ql/src/InconsistentCode/UnhandledCloseWritableHandle.ql
@@ -132,7 +132,7 @@ module UnhandledFileCloseConfig implements DataFlow::ConfigSig {
   predicate observeDiffInformedIncrementalMode() { any() }
 
   Location getASelectedSourceLocation(DataFlow::Node source) {
-    exists(DataFlow::CallNode openCall | result = openCall.getLocation() |
+    exists(DataFlow::CallNode openCall | result = [openCall.getLocation(), source.getLocation()] |
       isWritableFileHandle(source, openCall)
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,7 @@ module UnhandledFileCloseConfig implements DataFlow::ConfigSig {`
`132`	`132`	`predicate observeDiffInformedIncrementalMode() { any() }`
`133`	`133`
`134`	`134`	`Location getASelectedSourceLocation(DataFlow::Node source) {`
`135`		`- exists(DataFlow::CallNode openCall \| result = openCall.getLocation() \|`
	`135`	`+ exists(DataFlow::CallNode openCall \| result = [openCall.getLocation(), source.getLocation()] \|`
`136`	`136`	`isWritableFileHandle(source, openCall)`
`137`	`137`	`)`
`138`	`138`	`}`