Homepage

carmi vulnerabilities

CARMI - Compiler for Automatic Reactive Modelling of Inference

  • latest version

    1.0.342

  • latest non vulnerable version

    1.0.342

  • first published

    7 years ago

  • latest version published

    2 years ago

  • licenses detected

  • View carmi 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

    485 VERSIONS IN TOTAL See all versions
    versionpublisheddirect vulnerabilities
    1.0.3424 Jan, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.34114 Sep, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3403 Mar, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33927 Dec, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33827 Dec, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33715 Nov, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33619 Oct, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33513 Aug, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3347 Jul, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33323 Jun, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L