goblint-cil

A front-end for the C programming language that facilitates program analysis and transformation
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

zrapp

Documentation:

syntacticsearch

Documentation:

ptranal

Documentation:

makecfg

Documentation:

liveness

Documentation:

dataslicing

Documentation:

cil

Documentation: