1 Search Results
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation