abstract-domain-explorer

Applies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.

1.01x

Quality

92%

Does it follow best practices?

Impact

98%

1.01x

Average score across 3 eval scenarios

Securityby

Passed

No known issues

Evaluation results

99%

Static Analysis Report for Buffer Fill Routine

Loop range analysis with widening and narrowing

Criteria

Without context

With context

Interval domain chosen

100%

91%

Constant init as exact

100%

Widening applied

100%

Narrowing applied

100%

Condition refinement

100%

Loop invariant reported

100%

Exit state reported

80%

100%

Precision limitations noted

100%

No unsound claims

100%

Safety Hazard Analysis for Sensor Computation Pipeline

Runtime safety violation detection

Criteria

Without context

With context

Input as top element

100%

Sign or interval for division

100%

Division by zero identified

100%

Interval for array bounds

100%

Array access safe verdict

100%

Domain selection justified

100%

Widening in loop

50%

100%

Precision limitations noted

100%

No expensive domain misuse

100%

97%

Invariant Discovery for a Parallel Counter Simulation

Relational domain selection for variable relationships

Criteria

Without context

With context

Interval domain baseline

80%

70%

Interval limitation identified

100%

Relational domain applied

100%

Linear relationship discovered

100%

Octagon vs polyhedra distinguished

100%

Correct domain recommended

100%

Cost tradeoff discussed

90%

100%

Exit state reported

100%

Widening applied

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 Buffer Fill Routine Safety Hazard Analysis for Sensor Computation Pipeline Invariant Discovery for a Parallel Counter Simulation

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.