|static analysis frameworks? email@example.com (Paul Biggar) (2007-11-13)|
|Re: static analysis frameworks? firstname.lastname@example.org (2007-11-17)|
|From:||"Paul Biggar" <email@example.com>|
|Date:||Tue, 13 Nov 2007 13:09:39 +0000|
|Posted-Date:||15 Nov 2007 18:48:06 EST|
Rather than developing a static analysis framework for our compiler
(phc - www.phpcompiler.org) from scratch, I'd like to plug-in, as much
as possible, an existing static analysis framework. I've had a look
around and have only found a few.
PAG (http://www.program-analysis.com/) seemed a good idea, but its
Banshee (http://banshee.sourceforge.net/) seems good, but its svn
repository hasnt been updated since April last year.
Saturn (http://saturn.stanford.edu/) seems to be under active
maintenance, and is released under a BSD licence, so it looks ideal.
Does anyone know any other, preferably under an open source licence?
Also has anyone tried Saturn for analysis of non-C code? As an aside,
why aren't there many of these?
Thanks in advance,
Return to the
Search the comp.compilers archives again.