Expand description
Call-reference extraction: walks a function body for every outgoing call
(free-function calls and method calls) and emits a language-neutral
CallSiteRef per site. Unlike calls.rs, this module records every
named callee rather than filtering to known-effectful paths — it is the
graph-edge source for cross-file propagation.
§Python qualified rule
A reference is a qualified outward reference iff its leading name resolves to
an import in the file’s Imports table (os.getcwd where os is imported;
from sub import run; run()). Bare locals and self./receiver methods (root
not imported) → qualified = false.
Functions§
- extract
- Extract all outgoing call references from
unit’s own body.