Go: migrate control flow graph to shared CFG library#21614

Draft

Copilot wants to merge 6 commits intomainfrom

copilot/vscode-mndb17m3-9fpv

Commits on Mar 30, 2026

The shared CFG library instantiation for Go compiles cleanly. Let me show you the current state of the file:
owen-mc
committed
Phase 1 — Complete. The shared CFG library is now instantiated and wired into Go:
owen-mc
committed
All 90 queries compile cleanly. Here's the status:
owen-mc
committed
Checkpoint from VS Code for cloud agent session
owen-mc
committed
Continue shared CFG library migration: fix prologue/epilogue, implicit fields, cleanup

Copilot
and
owen-mc
authored
Fix overlay annotation in ControlFlowGraphShared.qll

Copilot
and
owen-mc
authored