Skip to content

Preserve anonymous callback ownership in code graphs - #48

Open
andrew wants to merge 1 commit into
fix/graph-correctnessfrom
fix/callback-ownership
Open

andrew wants to merge 1 commit into
fix/graph-correctnessfrom
fix/callback-ownership

Conversation

@andrew

@andrew andrew commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

Calls inside Go function literals, Python lambdas and Ruby blocks were attributed to the enclosing named function. Merely registering a callback could therefore produce an entry -> sink path without evidence that the callback runs.

Give anonymous callables separate function nodes with source spans, compact signatures and containment edges. Their body calls remain queryable without adding execution edges for registration. Directly invoked Go/Python literals retain a path through the anonymous node; Python lambda defaults stay in creation scope, while Ruby callable defaults remain deferred. Ruby blocks retain the enclosing singleton-method context.

Includes public Build and CLI regressions for nested callbacks, parameter shadowing, defaults, deterministic output and selected paths. Callback execution by other functions and calls through stored callable values remain unresolved.

Copilot AI balanced review requested due to automatic review settings October 5, 2026 19:54

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@andrew
andrew added this pull request to stack #49 October 5, 2026 19:54
@andrew
andrew force-pushed the fix/callback-ownership branch from 63e2f22 to 04a7dff Compare October 5, 2026 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants