Skip to content

analyzer

Install from the command line
$ docker pull ghcr.io/goblint/analyzer:nightly

Recent tagged image versions

  • nightly
    Published about 10 hours ago · Digest
    sha256:6df1e846af3cdcd83f85379097fe093b80fa0631eeb3602fe179a7777c5333ac
    0 Version downloads
  • latest 2.4.0
    Published 4 months ago · Digest
    sha256:4df686fbc25d861f9b20641bc6bcdeddeb19ce66ef17c57ca9b883e9ab488108
    209 Version downloads
  • 2.3.0
    Published about 1 year ago · Digest
    sha256:d20bb1b6f4d5ed61245857a57ae8cc2ed948d3263cdd8b554e38389f762ed381
    888 Version downloads
  • svcomp24
    Published about 1 year ago · Digest
    sha256:b953d2391ab052b7e5e711efead28811ec6a099bea8871cb092857b873251047
    92 Version downloads
  • 2.2.1
    Published about 1 year ago · Digest
    sha256:64e98fb55118515164a56504505243cc5d94f96de6c6e5637e81c7ddd2978920
    136 Version downloads
View all tagged versions

Loading

Details

Last published

10 hours ago

Issues

242

Total downloads

3.8K