Home / Skills / abstract-state-analyzer
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.
Why this score
This repo hosts 10 skills, so its 256 stars are split between them (about 26 each) for scoring.
Popularity score: 57/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 20, 2026 at commit 4f38503747e0, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This oneabstract-state-analyzer ArabelaTso/Skills-4-SE · Skill | 57 | ★ 256 | ≈121 always | 3mo ago |
| git-analyzer alibaba/skill-up · Skill Both about analyzer | 69 | ★ 1.2k | ≈14 always | 16d ago |
| data-analyzer vixues/LeAgent · Skill Both about analyzer and analyzing | 60 | ★ 236 | ≈55 always | 3mo ago |
| analyzer runesleo/x-reader · Skill Both about analyzer | 71 | ★ 968 | ≈36 always | 18d ago |
| storage-analyzer KKKKhazix/khazix-skills · Skill Both about analyzer | 81 | ★ 22k | ≈15 always | 1mo ago |
| abstract-well OutlineDriven/outline-driven-development · Skill Both about abstract | 48 | ★ 53 | ≈43 always | 1mo ago |