nimble-code/Modex

Releases0

Stars23

a model extractor, to automatically extract Spin verification models from multi-threaded C code

CVE History

CVE	Published	CVSS v3	CVSS v2
CVE-2021-46169 ↗	Jan 14, 2022Friday, 14 January 2022, 21:15	5.5 MEDIUM	4.3 MEDIUM
Modex v2.11 was discovered to contain an Use-After-Free vulnerability via the component tcache.
CVE-2021-46171 ↗	Jan 14, 2022Friday, 14 January 2022, 21:15	5.5 MEDIUM	4.3 MEDIUM
Modex v2.11 was discovered to contain a NULL pointer dereference in set_create_id() at xtract.c.