[splint-discuss] splint bugs on sourceforge.net

[J Schonberg]

--- On Sat, 10/24/09, David Evans <evans at cs.virginia.edu> wrote:

> From: David Evans <evans at cs.virginia.edu>
> Subject: Re: [splint-discuss] splint bugs on sourceforge.net
> To: "Discussions about the Splint annotation-assisted static analysis project" <splint-discuss at cs.virginia.edu>
 
> A better
> design would just 
> use the parser as a front end to produce an intermediate
> representation 
> which would be used for all the analysis, but the actually
> implementation intertwines the parsing and analysis much
> more than it should.

Is this the approach being taken by ggcc?

http://ggcc.info/

Perhaps an splint plugin to their frame work would be the way to go?

Best wishes,

Jason.