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

Member predicate TypeInternal::calleeAndOffset

Holds if the function scope is called when this object is called and paramOffset is the difference from the parameter position and the argument position. For a normal function paramOffset is 0. For classes and bound-methods it is 1. Used by points-to to help determine flow from arguments to parameters.

predicate calleeAndOffset(Function scope, int paramOffset)