Modex Code Issue Vulnerability

Modex is a model extractor. It is used to mechanically extract verification models from implementation-level C code. A security vulnerability exists in Modex, which stems from the fact that Modex v2.11 was found to contain a NULL pointer dereference in setcreateid of xtract.c. The vulnerability i...

CVE-2021-46171

Modex v2.11 was discovered to contain a NULL pointer dereference in setcreateid at xtract.c...

CVE-2021-46171

Modex v2.11 was discovered to contain a NULL pointer dereference in setcreateid at xtract.c...

Null pointer dereference

Modex v2.11 was discovered to contain a NULL pointer dereference in setcreateid at xtract.c...

CVE-2021-46171

CVE-2021-46171 affects Modex v2.11, which contains a NULL pointer dereference in set_create_id() of xtract.c. Public sources in CNVD/EUVD/NVD describe the issue but do not provide additional technical details, exploitation info, or remediation steps. No concrete exploit/vector is documented in th...

CVE-2021-46171

Modex v2.11 was discovered to contain a NULL pointer dereference in setcreateid at xtract.c...

Modex代码问题漏洞

Modex is a model extractor. It is used to mechanically extract verification models from implementation-level C code. A security vulnerability exists in Modex, which stems from the fact that Modex v2.11 was found to contain a NULL pointer dereference in setcreateid of xtract.c. The vulnerability i...