abstract-trace-summarizer
Performs abstract interpretation to produce summarized execution traces and high-level program behavior representations. Highlights key control flow paths, variable relationships, loop invariants, function summaries, and potential runtime states using abstract domains (intervals, signs, nullness, etc.). Use when analyzing program behavior, understanding execution paths, computing loop invariants, tracking variable ranges, detecting potential runtime errors, or generating program summaries without concrete execution.
84
77%
Does it follow best practices?
Impact
94%
1.38xAverage score across 3 eval scenarios
Passed
No known issues
Optimize this skill with Tessl
npx tessl skill review --optimize ./skills/abstract-trace-summarizer/SKILL.mdEvaluation results
99%
47%Inventory Reorder Calculation — Program Behavior Analysis
Loop invariant inference and abstract domain selection
Domain choice stated
12%
100%
Interval domain applied
12%
100%
Loop head widening
0%
100%
Loop invariant stated
50%
100%
Loop bound stated
100%
100%
States at key points
87%
100%
Conditional branch states
50%
100%
Over-approximation noted
10%
100%
Assumptions documented
75%
100%
Concrete example given
75%
87%
Recommendations included
100%
100%
Meanings explained
85%
100%
90%
4%Payment Processing Library — Safety Verification
Function summarization and language-specific null safety
Nullness domain used
100%
100%
Domain choice rationale
28%
42%
computeFee summary
100%
100%
getCategory summary
100%
100%
processTransactions summary
100%
100%
Side effects and frame conditions
25%
62%
Modular reuse stated
100%
100%
Loop invariant for traversal
100%
100%
Null safety at dereferences
100%
100%
Unsafe dereference identified
100%
100%
Runtime behaviors section
100%
100%
Assumptions documented
57%
57%
95%
28%Data Validation Pipeline — Execution Path Documentation
Execution path analysis and output format structure
Domain selection stated
14%
100%
Control flow structure
0%
100%
All exception paths enumerated
100%
100%
Normal execution path
100%
100%
Path conditions stated
100%
100%
Infeasible path noted
87%
100%
Join operation at merge
0%
37%
Python exception flow
100%
100%
Variable relationships section
25%
100%
Safety properties
100%
100%
Over-approx vs exact stated
100%
100%
Required sections present
44%
100%
- Repository
- ArabelaTso/Skills-4-SE
- Commit
0f00a4f
- Evaluated
- Agent
- Claude Code
- Model
- Claude Sonnet 4.6
Table of Contents
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.