sk Skill · ArabelaTso
control-flow-abstraction-generator
Generate abstract Control Flow Graph (CFG) representations of programs showing loops, branches, and function calls for static analysis or verification. Use when users need to: (1) Visualize program control flow structure, (2) Generate CFGs for static analysis tools, (3) Create control flow abstractions for formal verification, (4) Analyze program paths and reachability, (5) Document program structure. Supports both…
Open on skills.sh ↗read 2026-09-16
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
pythonjsondotPython
- Host repository
- ArabelaTso/Skills-4-SE
- Host stars
- 251
- Host language
- Python