Predicate SsaSource::exception_capture
Holds if v
is defined by assignment of the captured exception.
Import path
import python
predicate exception_capture(Variable v, NameNode defn)
Holds if v
is defined by assignment of the captured exception.
import python
predicate exception_capture(Variable v, NameNode defn)