Predicate mayBeDisposed
Hold if variable might be disposed.
This is a conservative overestimate.
Import path
import semmle.code.csharp.commons.Disposalpredicate mayBeDisposed(Variable variable)Hold if variable might be disposed.
This is a conservative overestimate.
import semmle.code.csharp.commons.Disposalpredicate mayBeDisposed(Variable variable)