minisat records

1 published records for vendor minisat.

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

Pre-auth RCE: flaws that let an attacker run code over the network without an account. Median publish → KEV: the typical time between a record being published and CISA listing it as exploited.

Records by year

Bar: total · dark part: CISA KEV.

Recurring classes

CWE-119 Improper Restriction of Operations within the Bounds of a Memory Buffer1

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

Attack profile

Memory safety 1

All records

1 records

CVE records
Action	CVE	Vulnerability	Severity	EPSS · Published
7Monitor	CVE-2026-2644No exploit	niklasso minisat DIMACS File SolverTypes.h value out-of-boundsminisat · minisat · CWE-119 Memory safety	Low1.9	0.2%Feb 18, 2026

CVE-2026-2644
7Monitor
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
LowCVSS 1.9No exploitEPSS 0%
- Memory safety
minisat · minisatFeb 18, 2026