Predicate SsaSource::with_definition
Holds if v is defined by a with statement.
Import path
import semmle.python.essa.SsaDefinitionspredicate with_definition(Variable v, ControlFlowNode defn)Holds if v is defined by a with statement.
import semmle.python.essa.SsaDefinitionspredicate with_definition(Variable v, ControlFlowNode defn)