Language.C.Analysis.AstAnalysis

Top-level analysis

analyseAST

analyseExt

analyseFunDef

analyseDecl

Building blocks for additional analyses

analyseFunctionBody

defineParams

Type checking

tExpr

data ExprSide

tStmt

data StmtCtx

tDesignator

defaultMD