CVE-2021-46169

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 an Use-After-Free vulnerability via the component tcache.

nimble-code/Modex

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

GitHub

23