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.
npx skills add majiayu000/claude-skill-registry --skill abstract-trace-summarizer --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Abstract Trace Summarizer ## Overview This skill performs abstract interpretation to analyze program behavior and produce summarized execution traces. It computes over-approximations of possible runtime states, tracks control flow paths, infers variable relationships, and generates high-level behavioral summaries without requiring concrete program execution. ## Core Workflow ### 1. Program Analysis Setup **Initial Assessment:** - Identify programming language and paradigm - Determine analysis scope (function, module, program) - Select appropriate abstract domains - Identify analysis goals (safety, correctness, optimization) **Abstract Domain Selection:** Choose domains based on analysis needs: **Numerical domains:** - **Intervals**: Track value ranges `[min, max]` - **Signs**: Track {negative, zero, positive, unknown} - **Octagons**: Linear constraints `±x ±y ≤ c` - **Polyhedra**: General linear constraints **Non-numerical domains:** - **Nullness**: Track {null, non-null, unknown} for pointers - **Constant propagation**: Track known constant values - **Type domains**: Track possible types - **Parity**: Track {even, odd, unknown} **Relational vs non-relational:** - **Non-relationa
- Overview
- Core Workflow
- 1. Program Analysis Setup
- 2. Control Flow Analysis
- 3. Abstract State Computation
- 4. Variable Relationship Tracking
- 5. Loop Invariant Inference
- 6. Function Summarization
- 7. Trace Summarization
- Output Format
- Analysis Techniques by Language
- Python
- Java/C
- C/C++
What does the abstract-trace-summarizer skill do?
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.
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill abstract-trace-summarizer --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.