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):

blockinggraph

Documentation:

callgraph

Documentation:

canonicalize

Documentation:

ccl

Documentation:

cil

Documentation:

cqualann

Documentation:

dataslicing

Documentation:

epicenter

Documentation:

heapify

Documentation:

inliner

Documentation:

liveness

Documentation:

llvm

Documentation:

logcalls

Documentation:

logwrites

Documentation:

oneret

Documentation:

partial

Documentation:

pta

Documentation:

sfi

Documentation:

simplemem

Documentation:

simplify

Documentation:

zrapp

Documentation: