goblintversion Documentation on ocaml.org
Static analysis framework for C
Goblint is a sound static analysis framework for C programs using abstract interpretation. It specializes in thread-modular verification of multi-threaded programs, especially regarding data races. Goblint includes analyses for assertions, overflows, deadlocks, etc and can be extended with new analyses.
| Tags | program analysis program verification static analysis abstract interpretation C data race analysis concurrency |
|---|---|
| Authors | Simmo Saan, Michael Schwarz, Julian Erhard, Sarah Tilscher, Karoliine Holter, Michael Petter, Ali Rasim Kocal, Ralf Vogler, Kalmer Apinis and Vesal Vojdani |
| License | MIT |
| Published | |
| Homepage | https://goblint.in.tum.de |
| Issue Tracker | https://github.com/goblint/analyzer/issues |
| Maintainers | Simmo Saan <simmo.saan@gmail.com>, Michael Schwarz <michael.schwarz93@gmail.com> and Karoliine Holter <karoliine.holter@ut.ee> |
| Available | os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos") |
| Dependencies |
|
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/goblint/analyzer/releases/download/v2.7.1/goblint-2.7.1.tbz sha256=af01aac256229f33a90a9fcbfed04b01e3097f154d4d124f006476d6387c6a66 sha512=2a93bfe16881adbc2d8dcbfe38c1e19cd24ca105d8e1eda13d02440f3002874ffe2957dfd937510765233a054a40568b0052db92e31d382a5bd215d1ec12565c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.2.7.1/opam |
No package is dependent
