Homepage

z3-solver vulnerabilities

< Back for full overview of z3-solver vulnerabilities

Package versions

28 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
4.10.230 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.122 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.022 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.9.16 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.9.06 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.175 May, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.1624 Apr, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.14-pre9 Jan, 2022
  • 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