CVE:CVE-2021-46168
CNNVD:CNNVD-202201-1367
Spin是一个开源软件验证工具。用于显式状态逻辑模型检查。
Spin中存在安全漏洞，该漏洞源于被发现在 spinlex.c 的 lex() 中包含越界写入。
solution:Upgrade spinroot spin to a higher version than 6.5.1,and avoid the version 6.5.1