Published September 5, 2025
| Version v2.6.0
Software
Open
Goblint
Creators
- 1. University of Tartu
- 2. Technische Universität München
Contributors
Project leader:
Project members:
- 1. Technische Universität München
Description
Static analysis framework for C
Files
goblint/analyzer-v2.6.0.zip
Files
(2.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8c3599912d299813a7a683678e3f0864
|
2.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/goblint/analyzer/tree/v2.6.0 (URL)
Software
- Repository URL
- https://github.com/goblint/analyzer