Claude Skill MartBrowse skillsQuick linesLearn by videoTerminal guideWhat is a Skill?
 
← Back to list

Abstract Trace Summarizer

A static-analysis skill that uses abstract interpretation to summarize execution paths, variable ranges, and loop invariants without running the code.

Dev & CodingAdvanced★ 253⑂ 23AI score 8/10Last updated: Aug 21, 2026

What it does

  • Runs abstract interpretation to over-approximate possible runtime states without executing the program.
  • Helps pick the right abstract domain: intervals, signs, nullness, parity, constants, types, octagons, polyhedra.
  • Builds a CFG view of branches, loops, calls, and exception flow, then computes fixpoints via join, meet, widening, and narrowing.
  • Infers loop invariants, iteration bounds, and function summaries (preconditions, postconditions, side effects, frame conditions).
  • Emits a fixed Markdown report: execution paths, variable relationships, safety properties (bounds, null, type, overflow), and recommendations.

Who it's for

  • Developers who must understand a legacy function's real behavior before refactoring.
  • Engineers working on static analysis, formal verification, or compiler optimization.
  • Reviewers of safety-critical code (C/C++ pointers, Java/C# null handling).
  • Educators and students learning lattices, widening, and invariant inference.

Examples

  1. "Prove the arr[i] accesses in this loop stay in bounds" → derives invariant 0 ≤ i < L and reports all accesses safe.
  2. "Is a null dereference reachable in this Java method?" → tracks the nullness domain per branch and reports safe/unsafe paths.
  3. "Summarize this function's pre/postconditions and side effects for docs" → produces a spec-style function summary section.

· · · Install guide · · ·

Try it now, no install

Paste this into Claude to use the skill without installing anything.

Read the instructions in this file and follow them to help me:
https://raw.githubusercontent.com/ArabelaTso/Skills-4-SE/HEAD/skills/abstract-trace-summarizer/SKILL.md

What I want: (describe your task here)

If Claude can't open the link, open it yourself and paste the contents instead.

↓ If it works for you, download the ZIP below and install it. Then it runs on its own — no pasting each time.

Install in the Claude app (no terminal)
  1. Download the ZIP with the button below.
  2. In Claude, open Settings → Capabilities and turn on 'Code execution and file creation'. (one time)
  3. Go to Customize → Skills → + → 'Upload a skill' and upload the ZIP.
↓ Download ZIP
Install in Claude Code

Let Claude do it — paste this into Claude Code

Install the skill I found on Claude Skill Mart.
Copy the skills/abstract-trace-summarizer folder from the GitHub repo ArabelaTso/Skills-4-SE into my ~/.claude/skills/abstract-trace-summarizer/.
When it's done, tell me in one line what this skill can do.

Install with a command instead

git clone https://github.com/ArabelaTso/Skills-4-SE.git && mkdir -p ~/.claude/skills && cp -r Skills-4-SE/skills/abstract-trace-summarizer ~/.claude/skills/

⚠ This is a third-party skill. Check the source repository before installing.

  1. Open a terminal.
  2. Clone the repo: git clone https://github.com/ArabelaTso/Skills-4-SE.git
  3. Create the skills folder: mkdir -p ~/.claude/skills
  4. Copy the skill: cp -r Skills-4-SE/skills/abstract-trace-summarizer ~/.claude/skills/
  5. Verify that ~/.claude/skills/abstract-trace-summarizer/ contains SKILL.md plus the references/ folder (those reference docs improve analysis quality).
  6. Restart Claude Code and try: "Use abstract interpretation to summarize the loop invariants and variable ranges of this function."
View source on GitHub ↗License: Apache-2.0