nimble-code/Spin

Releases3

Frequency2 months 2 weeks

Last Release over 6 years ago

Stars469

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

CVE History

CVE	Published	CVSS v3	CVSS v2
CVE-2021-46168 ↗	Jan 14, 2022Friday, 14 January 2022, 21:15	5.5 MEDIUM	4.3 MEDIUM
Spin v6.5.1 was discovered to contain an out-of-bounds write in lex() at spinlex.c.