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.
