https://cve.radiocsirt.org Contains only the most 10 recent entries. http://www.rssboard.org/rss-specification python-feedgen en Tue, 27 Oct 2026 08:29:25 +0000 https://cve.radiocsirt.org/vuln/euvd-2026-51493 EUVD-2026-51493 https://cve.radiocsirt.org/vuln/euvd-2026-51493 https://cve.radiocsirt.org/vuln/fkie_cve-2019-7560 <p>In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.</p> <p>In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.</p> https://cve.radiocsirt.org/vuln/fkie_cve-2019-7560 https://cve.radiocsirt.org/vuln/ghsa-g58x-799h-v9h6 <p><strong>Affected:</strong> PyPI: pyboolector</p> <p>In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.</p> <p><strong>Affected:</strong> PyPI: pyboolector</p> <p>In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.</p> https://cve.radiocsirt.org/vuln/ghsa-g58x-799h-v9h6 https://cve.radiocsirt.org/vuln/gsd-2019-7560 gsd-2019-7560 https://cve.radiocsirt.org/vuln/gsd-2019-7560 https://cve.radiocsirt.org/vuln/pysec-2019-252 <p><strong>Affected:</strong> PyPI: pyboolector</p> <p>In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.</p> <p><strong>Affected:</strong> PyPI: pyboolector</p> <p>In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.</p> https://cve.radiocsirt.org/vuln/pysec-2019-252