Modex code-related vulnerabilities

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...

PT-2022-12603

Name of the Vulnerable Software and Affected Versions Modex version 2.11 Description A NULL pointer dereference was discovered in the set create id function at xtract.c. Recommendations For Modex version 2.11, at the moment, there is no information about a newer version that contains a fix for th...