Spinroot develops the SPIN model-checking tool, a specialized formal-verification product with a narrow but technically demanding user base in software engineering and systems validation. The vendor's vulnerability footprint reflects the complexity inherent to a parser and state-machine analysis engine, with observed weakness classes centered on out-of-bounds write conditions. Live severity, exploitation, and exposure counts are shown alongside this summary.
The number and severity of CVEs published that impact products developed by Spinroot over time
Signals from CVEs in this vendor scope (1 CVEs).
1 CVEs · Highest risk first
| CVE | Published | CVSS | Risk | KEV | Exploit |
|---|---|---|---|---|---|
CVE-2021-46168MEDIUM Spin v6.5.1 was discovered to contain an out-of-bounds write in lex() at spinlex.c. | Jan 14, 2022 | 5.5 | 20 | NO | NO |
Signals from CVEs in this vendor scope (1 CVEs).
An overview of all social media posts that mention a CVE ID that affects a product developed by Spinroot.
Media articles that mention a CVE ID that affects a product developed by Spinroot — matched by CVE ID, not by vendor name.