2 Search Results
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
2.0.1
BSD-3-Clause
Used by 1 other packages