home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.compilers      Compiler construction, theory, etc. (Mod      2,753 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 1,405 of 2,753   
   Anne Pacalet to All   
   Re: Static Source code analysis   
   25 Jul 08 15:30:17   
   
   From: Anne.Pacalet@sophia.inria.fr   
      
   rajagopal a icrit :   
   > I would like to know if there is open source static code analyzer   
   > available in source code form which I can tailor to my specific   
   > requirement. Ideal if some tool is there reading programs in C and   
   > populate RDBMS database   
      
   Maybe you can have a look at Frama-C : www.frama-c.cea.fr   
   It is quite new, but I think that it can already answer to some of your   
   questions.   
      
   Anne.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca