CodeQL library for Python
codeql/python-all 1.0.3-dev (changelog, source)

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