AUGUST 4, 2026
Live Feed
Back to database
Case File

CVE-2019-7560

MEDIUM · CVSS 5.5 EPSS 0.96% Public Exploit

Source: NVD + CISA KEV + EPSS (historical backfill) · Published 2019-02-07 · Last synced 2026-08-04

CyberRota Analysis

AI analysis pending.

Public Exploit Signal

A public exploit, PoC, GitHub repository or Metasploit reference was detected for this CVE.

GitHub PoC Links
github.com ↗ github.com ↗

Note: these links are listed for security research and verification purposes only.

CVE
CVE-2019-7560
Severity
MEDIUM
CVSS
5.5
EPSS
0.96%

Original NVD Description

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.