Language.C.Analysis

Semantic representation

Error datatypes for the analysis

Traversal monad

Top level analysis

Analyzing declarations

Debug print