Welcome, Guest! Log In | Create Account

Share

Gcc Abstract Syntax Tree Analysis

by guill

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)


http://gasta.sourceforge.net

Software Development

Project Feed

Gcc Abstract Syntax Tree Analysis Actions