CVE-2019-7560

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.

• CWE-416

• https://github.com/Boolector/boolector/issues/28Exploit, Patch, Third Party Advisory
• https://github.com/Boolector/boolector/issues/29Exploit, Patch, Third Party Advisory
• https://github.com/Boolector/boolector/issues/28Exploit, Patch, Third Party Advisory
• https://github.com/Boolector/boolector/issues/29Exploit, Patch, Third Party Advisory

Published

Feb 7, 2019

Last Modified

Jun 17, 2026

Status

Modified

• How Strix found a critical auth bypass in etcdStrix autonomously discovered a critical authentication bypass in etcd, later designated CVE-2026-33413.
• Autonomous PentestingAI agents that find and validate exploitable vulnerabilities like this one across your applications.
• PR ReviewsPentest every pull request so vulnerable code is caught before it ships to production.
• AI Penetration TestingHow AI-driven penetration testing continuously covers your attack surface.

• CVE-2019-7550In JForum 2.1.8, an unauthenticated, remote attacker can enu…
• CVE-2019-7551Cantemo Portal before 3.2.13, 3.3.x before 3.3.8, and 3.4.x …9
• CVE-2019-7552An issue was discovered in PHP Scripts Mall Investment MLM S…5.4
• CVE-2019-7553PHP Scripts Mall Chartered Accountant : Auditor Website 2.0.…5.4
• CVE-2019-7554An issue was discovered in PHP Scripts Mall API Based Travel…
• CVE-2019-7559In btor2parser/btor2parser.c in Boolector Btor2Tools before …
• CVE-2019-7564An issue was discovered on Shenzhen Coship WM3300 WiFi Route…
• CVE-2019-7566CSZ CMS 1.1.8 has CSRF via admin/users/new/add.
• CVE-2019-7567An issue was discovered in Waimai Super Cms 20150505. admin.…
• CVE-2019-7568An issue was discovered in baijiacms V4 that can result in t…
• CVE-2019-7569An issue was discovered in DOYO (aka doyocms) 2.3(20140425 u…
• CVE-2019-7570A CSRF vulnerability was found in PbootCMS v1.3.6 that can d…