CVE-2021-46168

Spin v6.5.1 was discovered to contain an out-of-bounds write in lex at spinlex.c...

UBUNTU-CVE-2021-46168

Spin v6.5.1 was discovered to contain an out-of-bounds write in lex at spinlex.c...

Spin buffer error vulnerability

Spin is an open source software verification tool . It is used for explicit state logic model checking. A security vulnerability exists in Spin that stems from an out-of-bounds write found to be included in spinlex.c's lex...