Homepage

z3-solver vulnerabilities

an efficient SMT solver library

< Back for full overview of z3-solver vulnerabilities

Package versions

50 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
4.16.0.019 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.8.012 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.7.09 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.6.08 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.5.07 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.4.029 Oct, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.3.016 Aug, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.1.08 Jun, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.0.010 May, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.14.1.011 Mar, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.14.0.018 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.4.016 Dec, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.3.010 Oct, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.2.027 Sep, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.1.026 Sep, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.0.07 Mar, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.6.024 Feb, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.5.021 Jan, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.4.06 Dec, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.3.05 Dec, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

Get started free