CVE-2026-2644
Description
A flaw was found in minisat. A local user can exploit this vulnerability by providing a specially crafted input that manipulates an argument index in the Solver::value function. This leads to an out-of-bounds read, a condition where the program attempts to access memory outside its allocated boundaries. The primary consequence of this flaw is a denial of service, which can render the application unavailable.
Statement
Red Hat Product Security has determined that this vulnerability does not affect any currently supported Red Hat product. This assessment may evolve based on further analysis and discovery. For more information about this vulnerability and the products it affects, please see the linked references.
Understanding the Weakness (CWE)
Other
Technical Impact: Varies by Context
Frequently Asked Questions
Not sure what something means? Check out our Security Glossary.
Want to get errata notifications? Sign up here.
