Published November 24, 2023 | Version v2.3.0
Software Open

Goblint

  • 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.3.0.zip

Files (2.3 MB)

Name Size Download all
md5:2ce419603ca335b5928fe5ca5aa1dab7
2.3 MB Preview Download

Additional details

Related works

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