Skip to content
OpenAdvisories

Package · Debian

minisat2

1 known vulnerabilities.

All Critical High Medium Low Exploited only Public exploit

1 result · Feed

  • Low 3.3
    CVE-2026-2644

    niklasso minisat DIMACS File SolverTypes.h value out-of-bounds

    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. This manipulation of the argument variable index with the input 2147483648 cau…

    niklasso minisat minisat2 minisat2 Debian Ubuntu