Goblint
Published November 27, 2025 | Version v2.7.1
Software Open

Goblint

Authors/Creators

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

Contributors

Project leader:

  • 1. Technische Universität München

Description

Static analysis framework for C

Files

goblint/analyzer-v2.7.1.zip

Files (2.9 MB)

Name Size Download all
md5:aba5e01302ac1475c4803495cf9093e5
2.9 MB Preview Download

Additional details

Related works

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

Software

Repository URL
https://github.com/goblint/analyzer