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 function-level (intraprocedural) and program-level (interprocedural) analysis with multiple output formats (textual, DOT/Graphviz, JSON).

1.31x

Quality

86%

Does it follow best practices?

Impact

95%

1.31x

Average score across 3 eval scenarios

Securityby

Risky

Do not use without reviewing

Evaluation results

87%

30%

CFG Analysis for Static Analyzer Integration

Loop constructs: back edges, break, continue, DOT format

Criteria

Without context

With context

ENTRY node present

100%

EXIT node present

100%

For-loop desugared

20%

100%

Back edge present

62%

100%

Break edge to loop exit

100%

Continue back edge

100%

50%

Condition nodes with T/F branches

100%

Merge nodes at conditionals

Return to EXIT edge

100%

DOT entry/exit ellipse shape

37%

100%

DOT condition diamond shape

100%

DOT true edges green

100%

DOT false edges red

100%

DOT default shape box

50%

100%

12%

Whole-Program Control Flow Analysis for Dataflow Tool

Interprocedural CFG: call/return edges, exception handling, JSON output

Criteria

Without context

With context

ENTRY per function

83%

100%

EXIT per function

83%

100%

Call edges with correct label

100%

Return edges with correct label

100%

Exception edge in try block

100%

Finally both paths

100%

Return to EXIT edges

100%

JSON nodes array structure

70%

100%

JSON edges array structure

50%

100%

Node types used correctly

75%

100%

Both call sites modeled

100%

Assumptions documented

100%

29%

CFG Documentation for Formal Verification Review

Nested conditionals: merge nodes, textual format, all output formats, reachability

Criteria

Without context

With context

ENTRY and EXIT present

100%

Merge nodes at every join

100%

Condition nodes for all branches

50%

100%

All 5 node types used

37%

100%

Return to EXIT edge

100%

Textual format structure

100%

DOT condition diamond shape

100%

DOT entry/exit ellipse shape

87%

100%

DOT T/F edge labels and colors

25%

100%

JSON nodes with id/label/type

100%

JSON edges with from/to/type

100%

Reachability validation output

100%

Repository: ArabelaTso/Skills-4-SE
Commit: 0f00a4f

Evaluated: 29 days ago
Agent: Claude Code
Model: Claude Sonnet 4.6

Table of Contents

CFG Analysis for Static Analyzer Integration Whole-Program Control Flow Analysis for Dataflow Tool CFG Documentation for Formal Verification Review

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.