Published June 15, 2026
| Version v2.8.0
Software
Open
Goblint
Authors/Creators
- 1. University of Tartu
- 2. National University of Singapore
- 3. Technische Universität München
Contributors
Project leader:
Project member (3):
- 1. Technische Universität München
Description
Static analysis framework for C
Files
goblint/analyzer-v2.8.0.zip
Files
(3.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e38c76546a19140b867798b18799e5ac
|
3.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/goblint/analyzer/tree/v2.8.0 (URL)
Software
- Repository URL
- https://github.com/goblint/analyzer