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

Member predicate TypeInternal::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)