Static analysis and type inference for C code.
Provides control flow analysis, data flow analysis, and type inference.
Box<T>
Vec<T>