{"action":"No fix published. Pin and monitor.","affected":[{"introduced":"0"}],"component":"minisat2","cve_ids":[],"ecosystem":"Debian","ecosystem_qualifier":"Debian:12","exploited":false,"fixed_versions":[],"id":"tcs_01M5NR5BXG4WJY3B1SCK0P4T5N","modified_at":"2026-10-01T03:03:01.203965022Z","published_at":"2026-02-18T07:16:11.230Z","references":["https://osv.dev/vulnerability/DEBIAN-CVE-2026-2644","https://security-tracker.debian.org/tracker/CVE-2026-2644"],"severity":{"label":"high","score":7.8},"sources":[{"source":"osv","source_id":"DEBIAN-CVE-2026-2644","url":"https://osv.dev/vulnerability/DEBIAN-CVE-2026-2644"}],"summary":"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 o"}