Claim listing
alphaparkinc/genpark-abstract-interpretation-interval-domain-skill
Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.