| Pretty |
Utility functions for pretty-printing.
|
| Errormsg |
Utility functions for error-reporting
|
| Clist |
Utilities for managing "concatenable lists" (clists).
|
| Stats |
Utilities for maintaining timing statistics
|
| Cil |
CIL API Documentation.
|
| Formatcil |
An Interpreter for constructing CIL constructs
|
| Alpha |
ALPHA conversion
|
| Cillower |
A number of lowering passes over CIL
|
| Cfg |
Code to compute the control-flow graph of a function or file.
|
| Dataflow |
A framework for data flow analysis for CIL code.
|
| Dominators |
Compute dominators using data flow analysis
|