Goblint

There is a newer version of the record available.

Published November 27, 2025 | Version v2.7.0
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.0.zip

Files (2.9 MB)

Name Size Download all
md5:75508bf2c415432516555acf17d22693
2.9 MB Preview Download

Additional details

Related works

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

Software

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