CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Predicate SsaSource::deletion_definition

Holds if v is deleted at del.

Import path

import python
predicate deletion_definition(Variable v, DeletionNode del)