Minisat

1 CVEs product

Monthly

Sort: Newest CVSS Score EPSS Score Oldest

CVE-2026-2644 LOW POC Monitor

A weakness has been identified in niklasso minisat up to 2.2.0. This issue affects the function Solver::value in the library core/SolverTypes.h of the component DIMACS File Parser. [CVSS 3.3 LOW]

Buffer Overflow Minisat

NVD GitHub VulDB

CVSS 4.0

1.9

EPSS

0.0%

CVE-2026-2644

EPSS 0% CVSS 1.9

LOW POC Monitor

A weakness has been identified in niklasso minisat up to 2.2.0. This issue affects the function Solver::value in the library core/SolverTypes.h of the component DIMACS File Parser. [CVSS 3.3 LOW]

Buffer Overflow Minisat

NVD GitHub VulDB