• 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^AT_EX by H^EV^EA.