CVE-2021-46171

Published January 14th, 2022

View on NVD ↗

CVSS v3

5.5

MEDIUM

CVSS v2

4.3

MEDIUM

Affected

1

PROJECT

Description

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

nimble-code/Modex

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

GitHub

23