漏洞信息
尽管我们使用了先进的大模型技术,但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性,但请您根据实际情况进行核实和判断。
Vulnerability Title
N/A
Vulnerability Description
Modex v2.11 was discovered to contain a NULL pointer dereference in set_create_id() at xtract.c.
CVSS Information
N/A
Vulnerability Type
N/A
Vulnerability Title
Modex代码问题漏洞
Vulnerability Description
Modex是一个模型提取器。用于从实现级 C 代码中机械地提取验证模型。 Modex中存在安全漏洞,该漏洞源于Modex v2.11 被发现在 xtract.c 的 set_create_id() 中包含一个 NULL 指针取消引用。
CVSS Information
N/A
Vulnerability Type
N/A