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.12.2.012 May, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.1.018 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.0.014 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.11.2.03 Sep, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.11.1.023 Aug, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.11.0.018 Aug, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.2.029 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.1.022 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.0.022 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.9.1.06 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.9.0.06 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.17.05 May, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.16.024 Apr, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.15.020 Mar, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.14.023 Dec, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.13.019 Nov, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.12.013 Jul, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.11.010 Jul, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.10.020 Jan, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.9.011 Sep, 2020
  • 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