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.

1.49x

Quality

92%

Does it follow best practices?

Impact

97%

1.49x

Average score across 3 eval scenarios

Securityby

Passed

No known issues

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%

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%

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%

Repository: ArabelaTso/Skills-4-SE
Commit: 0f00a4f

Evaluated: 29 days ago
Agent: Claude Code
Model: Claude Sonnet 4.6

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.