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).

Install with Tessl CLI

npx tessl i github:ArabelaTso/Skills-4-SE --skill control-flow-abstraction-generator

What are skills?

Review — 86%

Does it follow best practices?

If you maintain this skill, you can automatically optimize it using the tessl CLI to improve its score:

npx tessl skill review --optimize ./path/to/skill

Learn more

Validation — 10 / 11 Passed

Validation for skill structure

SKILL.md

Review

Evals

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%

Without context: $0.2601 · 2m 31s · 10 turns · 13 in / 5,155 out tokens

With context: $0.8695 · 3m 36s · 24 turns · 6,258 in / 11,328 out tokens

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%

Without context: $0.4197 · 4m 2s · 18 turns · 22 in / 8,178 out tokens

With context: $0.8407 · 3m 13s · 24 turns · 6,441 in / 10,286 out tokens

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%

Without context: $0.5746 · 4m 40s · 21 turns · 25 in / 11,504 out tokens

With context: $0.7729 · 3m 21s · 23 turns · 107 in / 13,946 out tokens

Evaluated: about 11 hours ago
Agent: Claude Code

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.