Re: Static Source code analysis

Anne Pacalet <Anne.Pacalet@sophia.inria.fr>
Fri, 25 Jul 2008 15:30:17 +0200

          From comp.compilers
Related articles
Static Source code analysis rajagopal.ns@gmail.com (rajagopal) (2008-07-25)
Re: Static Source code analysis Anne.Pacalet@sophia.inria.fr (Anne Pacalet) (2008-07-25)
Re: Static Source code analysis echristo@gmail.com (Eric Christopher) (2008-07-25)
| List of all articles for this month |
From: Anne Pacalet <Anne.Pacalet@sophia.inria.fr>
Newsgroups: comp.compilers
Date: Fri, 25 Jul 2008 15:30:17 +0200
Organization: Compilers Central
References: 08-07-052
Keywords: analysis
Posted-Date: 25 Jul 2008 13:02:59 EDT

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.


Post a followup to this message

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