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

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