Sign in Free account Free scan

cvc5 records

2 published records for vendor cvc5.

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

Records by year

24

Bar: total · dark part: CISA KEV.

Recurring classes

The weakness classes this vendor ships most often: where to look.

Attack profile

All records

2 records

CVE records
Action	CVE	Vulnerability	Severity	KEV	EPSS	Published
30Monitor	CVE-2024-37794No exploit	Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.CWE-20 Pre-auth Denial of service	High7.5	—	0.4%	Jun 17, 2024
30Monitor	CVE-2024-37795No exploit	A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing tCWE-125 Pre-auth Memory safety Denial of service	High7.5	—	0.4%	Jun 17, 2024

CVE-2024-37794
30Monitor
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
HighCVSS 7.5No exploitEPSS 0%
- Pre-auth
- Denial of service
Jun 17, 2024
CVE-2024-37795
30Monitor
A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing t
HighCVSS 7.5No exploitEPSS 0%
Jun 17, 2024