CVE-2021-46168

Published January 14th, 2022

View on NVD ↗

CVSS v3

5.5

MEDIUM

CVSS v2

4.3

MEDIUM

Affected

1

PROJECT

Description

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

nimble-code/Spin

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

GitHub

469