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

Predicate InterProceduralPointsTo::neverReturns

INTERNAL – Use FunctionObject.neverReturns() instead. Whether function func never returns. Slightly conservative approximation, this predicate may be false for a function that can never return.

Import path

import semmle.python.pointsto.PointsTo
predicate neverReturns(Function f)