Go/UnhandledCloseWritableHandle

This commit is contained in:
Nora Dimitrijević
2025-10-15 14:37:52 +02:00
parent ec63547925
commit d41268fc84

View File

@@ -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)
)
}