Modex Resource Management Error Vulnerability

Modex is a model extractor. It is used to mechanically extract validation models from implementation-level C code. a security vulnerability exists in Modex, which stems from the discovery via component tcache that Modex v2.11 contains a Use-After-Free vulnerability. No details of the vulnerabilit...