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-o
Also installable via skills CLI
npx skills add ArabelaTso/Skills-4-SE/skills/abstract-state-analyzer