From: paul.biggar@gmail.com   
      
   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   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)