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.8.8.08 May, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.7.019 Nov, 2019
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.8.6.020 Sep, 2019
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.8.5.06 May, 2019
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.8.0.0.post129 Jul, 2018
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.5.1.0.post28 Jun, 2017
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.5.1.0.post126 Jan, 2017
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.5.1.010 Nov, 2016
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.4.2.1.post111 Oct, 2016
  • 0
    C
  • 1
    H
  • 0
    M
  • 0
    L
4.4.2.111 Oct, 2016
  • 0
    C
  • 1
    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