Published November 28, 2024 | Version v2.5.0
Software Open

Goblint

Creators

  • 1. University of Tartu
  • 2. Technische Universität München

Contributors

Project leader:

  • 1. Technische Universität München

Description

Static analysis framework for C

Files

goblint/analyzer-v2.5.0.zip

Files (2.5 MB)

Name Size Download all
md5:c100defc8a6b54c685adcb268d9e5f55
2.5 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/goblint/analyzer/tree/v2.5.0 (URL)