CVE-2024-37795 | CVC5 Solver 1.1.3 SMT-LIB memory corruption (Issue 10813)

A vulnerability, which was classified as problematic, has been found in CVC5 Solver 1.1.3. Affected by this issue is some unknown functionality of the component SMT-LIB Handler. The manipulation leads to memory corruption.

This vulnerability is handled as CVE-2024-37795. The attack needs to be initiated within the local network. There is no exploit available.