Niklasso vulnerabilities
We track 1 vulnerability in Niklasso products. 1 is rated high or critical, and none are known to be exploited. The most recent was published on February 18, 2026.
1vulnerabilities
0critical
1high
0exploited
7.8average CVSS score
Latest Niklasso vulnerabilities
- 7.8 High severity
minisat: Out-of-bounds Write
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 caus