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

Member predicate PythonFunctionObjectInternal :: callResult

Holds if obj is the result of calling this and origin is the origin of obj with callee context callee.

This is the context-sensitive version. Generally, if this holds for any object obj then callResult/2 should never hold for that object.

predicate callResult ( PointsToContext callee , ObjectInternal obj , CfgOrigin origin )