Static analysis and type inference for C code.
Provides control flow analysis, data flow analysis, and type inference.