We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent afdb788 commit 5a198a3Copy full SHA for 5a198a3
csharp/ql/src/API Abuse/NoDisposeCallOnLocalIDisposable.ql
@@ -94,8 +94,7 @@ predicate mayNotBeDiposed(LocalScopeDisposableCreation disposable) {
94
exists(Conf conf, DataFlow::ExprNode e |
95
e.getExpr() = disposable and
96
conf.isSource(e) and
97
- not exists(DataFlow::Node sink |
98
- conf.hasFlow(DataFlow::exprNode(disposable), sink) |
+ not exists(DataFlow::Node sink | conf.hasFlow(DataFlow::exprNode(disposable), sink) |
99
sink instanceof ReturnNode
100
implies
101
sink.getEnclosingCallable() = disposable.getEnclosingCallable()
0 commit comments