[splint-discuss] splint bugs on sourceforge.net
schonm at yahoo.com
Sat Oct 24 21:15:30 PDT 2009
--- 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
> 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?
Perhaps an splint plugin to their frame work would be the way to go?
More information about the splint-discuss