Control flow graph 💡

[aymannadeem]

Caveat: this is not a feature we should build this month, just a thought I had that I wanted to capture because I think it could be relevant after a few iterations on call graph and call graph enrichment.

---

Idea: We're starting with a call graph foundation which shows inter-procedural relationships (between functions). At some point, it would be cool to have a control flow graph to also include information about intra-procedural relationships (e.g. logical branching within functions) as well. This would align nicely with the enrichment we want to do per function.