static analysis frameworks?

Hi Folks,


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
been discontinued.
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,
Paul Biggar




--
Paul Biggar
paul.biggar@gmail.com

Return to the comp.compilers page.
Search the comp.compilers archives again.