abstract-state-analyzer

Performs abstract interpretation over source code to infer possible program states, variable ranges, and data properties without executing the program. Reports potential runtime errors including out-of-bounds accesses, null dereferences, type inconsistencies, division by zero, and integer overflows. Use when analyzing code for potential runtime errors, performing static analysis, checking safety properties, or verifying program behavior without execution.

Install with Tessl CLI

npx tessl i github:ArabelaTso/Skills-4-SE --skill abstract-state-analyzer

What are skills?

Review — 92%

Does it follow best practices?

Validation — 11 / 11 Passed

Validation for skill structure

SKILL.md

Review

Evals

Evaluation results

100%

58%

Static Analysis Report for Python Data Pipeline

Analysis workflow and error report format

Criteria

Without context

With context

Null domain used

50%

100%

Interval domain used

100%

Type domain used

28%

100%

Parameters initialized as top

100%

Forward analysis shown

100%

Loop widening applied

100%

Function summary used

42%

100%

Error location reported

100%

Abstract state at error

12%

100%

Severity classification

100%

Explanation provided

100%

Suggestion provided

100%

Null dereference on discount

100%

Without context: $0.2624 · 1m 58s · 11 turns · 16 in / 5,180 out tokens

With context: $0.9016 · 5m 24s · 24 turns · 4,926 in / 12,329 out tokens

94%

21%

Security Audit: C Buffer Processing Function

C-specific analysis: pointer arithmetic and integer overflow

Criteria

Without context

With context

Interval domain applied

50%

100%

Pointer offset tracking

60%

100%

Pointer bounds check

62%

100%

Signed overflow identified

100%

Division by zero identified

100%

Loop widening applied

100%

Error location reported

100%

Abstract state at error

62%

100%

Severity classification

25%

Explanation provided

100%

Suggestion provided

100%

UB undefined behavior noted

100%

Without context: $0.2912 · 2m 49s · 11 turns · 16 in / 6,767 out tokens

With context: $1.1079 · 7m 40s · 26 turns · 9,990 in / 16,376 out tokens

98%

17%

Frontend Data Transformation Static Analysis

JavaScript-specific analysis: undefined/null and type coercion

Criteria

Without context

With context

Null domain applied

50%

100%

Array OOB returns undefined

100%

Property access on undefined

100%

Type coercion noted

77%

Metadata null path

100%

Interval domain for loop

37%

100%

Path sensitivity shown

71%

100%

Division by zero identified

100%

Error location reported

100%

Abstract state at error

85%

100%

Severity classification

50%

100%

Suggestion provided

100%

Without context: $0.2105 · 2m 27s · 11 turns · 16 in / 4,357 out tokens

With context: $0.9500 · 3m 59s · 27 turns · 5,012 in / 12,393 out tokens

Evaluated: about 11 hours ago
Agent: Claude Code

Table of Contents

Static Analysis Report for Python Data Pipeline Security Audit: C Buffer Processing Function Frontend Data Transformation Static Analysis

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.