Vulnerabilities

ID
Packages
Summary
Published
arrow_upward
Attributes
GHSA-g58x-799h-v9h6
  • PyPI/pyboolector
Boolector use after free 14 May 2022
  • Fix available
  • Severity - 7.1 (High)
PYSEC-2019-252
  • PyPI/pyboolector
See record for full details 07 Feb 2019
  • Fix available
  • Severity - 5.5 (Medium)