2 Search Results
goblint
Static analysis framework for C
Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Ralf Vogler Kalmer Apinis Vesal Vojdani
2.1.0
MIT
Used by 0 other packages
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler Michael Schwarz Simmo Saan
2.0.1
BSD-3-Clause
Used by 1 other packages