Introduction
Installation
Compiling C to CIL
How to Use CIL
Using
cilly
, the CIL driver
Using CIL as a library
CIL API Documentation
Using the visitor
Interpreted Constructors and Deconstructors
Printing and Debugging support
Attributes
The CIL Driver
cilly
Options
cilly.native
Options
Internal Options
Specifying a machine model
Library of CIL Modules
Control-Flow Graphs
Data flow analysis framework
Dominators
Points-to Analysis
Reaching Definitions
Available Expressions
Liveness Analysis
Dead Code Elimination
Controlling CIL
GCC Extensions
CIL Limitations
Known Bugs and Limitations
Code that CIL won’t compile
Code that behaves differently under CIL
Effects of the CIL translation
Using the merger
Using the patcher
Authors
License
Bug reports
Impressum
This document was translated from L
A
T
E
X by
H
E
V
E
A
.