Homepage

z3-solver vulnerabilities

  • latest version

    4.13.4

  • latest non vulnerable version

    4.13.4

  • first published

    2 years ago

  • latest version published

    6 days ago

  • licenses detected

  • View z3-solver package health on Snyk Advisor  (opens in a new tab)
    • Report a new vulnerability Found a mistake?

    Direct Vulnerabilities

    No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.

    Does your project rely on vulnerable package dependencies?

    Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.

    Scan for indirect vulnerabilities

    Package versions

    1 - 21 of 21 Results
    versionpublisheddirect vulnerabilities
    4.13.417 Dec, 2024
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.13.311 Oct, 2024
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.13.227 Sep, 2024
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.13.07 Mar, 2024
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.625 Feb, 2024
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.521 Jan, 2024
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.46 Dec, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.35 Dec, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.213 May, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.118 Jan, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.12.014 Jan, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.11.24 Sep, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    4.11.018 Aug, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    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