btor2tools project records
1 published records for vendor btor2tools project.
Researcher profile
- Entered KEV
- 0 · 0%
- Weaponized
- 0 · 0%
- Pre-auth RCE
- 0
- With a fix record
- 0%
- Median publish → KEV
- No record has entered KEV
Attack profile
All records
1 records| Action | CVE | Vulnerability | Severity | KEV | EPSS | Published |
|---|---|---|---|---|---|---|
22Monitor | CVE-2019-7559No exploit | In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds wribtor2tools project · btor2tools · CWE-787 | Medium5.5 | — | 0.8% | Feb 7, 2019 |
- CVE-2019-755922Monitor
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds wri
MediumCVSS 5.5No exploitEPSS 0%btor2tools project · btor2toolsFeb 7, 2019