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...
Per saperne di più