Understanding control flow is fundamental to smart contract security, but analyzing interactions across multiple functions remains a major challenge. Traditional Control Flow Graphs (CFGs) often stop at function borders, missing crucial vulnerabilities that arise from inter-contract or intra-contract calls. This is where the Wake Framework's Inter-Procedural Control Flow Graph (ICFG) steps in.