control-flow-abstraction-generator

# Control Flow Abstraction Generator Generate abstract Control Flow Graph representations of programs. ## Overview This skill analyzes program code and generates Control Flow Graphs (CFGs) that abstract the program's control flow structure. CFGs show how execution flows through the program via nodes (statements, conditions) and edges (control transfers), making them suitable for static analysis, formal verification, and program understanding. ## How to Use Provide: 1. **Program code**: Function or program to analyze 2. **Analysis scope**: Function-level or program-level 3. **Output format** (optional): Textual, DOT, JSON, or multiple The skill will generate: - CFG with nodes and edges - Node types (entry, exit, statement, condition, merge) - Edge types (sequential, true/false branches, back edges, calls) - Optional: DOT format for visualization, JSON for tool integration ## CFG Generation Workflow ### Step 1: Parse Program Structure Identify program constructs: - **Sequential statements**: Assignments, expressions, declarations - **Conditional statements**: if-then-else, switch-case - **Loop statements**: while, for, do-while - **Function calls**: Direct calls, recursive calls - **Control transfers**: break, continue, return, goto - **Exception handling**: try-catch-finally ### Step 2: Create CFG Nodes Generate nodes for each construct: **Entry Node**: Function/program start - Label: `ENTRY` or function name - Type: `entry` - Successors: First statement **Exit No...