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

Member predicate CallableValue :: neverReturns

Holds if this callable never returns once called. For example, sys.exit

predicate neverReturns ( )