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

Member predicate UnknownInternal::callResult

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

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

predicate callResult(ObjectInternal obj, CfgOrigin origin)