Spin安全漏洞 CVE-2021-46168 CNNVD-202201-1367
4.3
AV
AC
AU
C
I
A
发布：
2022-01-14
修订：
2024-11-21
Spin是一个开源软件验证工具。用于显式状态逻辑模型检查。 Spin中存在安全漏洞，该漏洞源于被发现在 spinlex.c 的 lex() 中包含越界写入。
漏洞利用/PoC
暂无可用Exp或PoC
受影响的平台与产品
当前有1条受影响产品信息
