Gcc Abstract Syntax Tree Analysis

This program makes it possible to read a file produced by the option "-fdump-tree-original" which replaces the old "-fdump-ast-<I>switch</i>". The goal is to automatically annotate C code for SPLint (actually we focus on possibly null pointer)