Static Source code analysis

#1 07-25-2008, 07:48 AM

I would like to parse existing C programs ( may be using JAVACC
parser) and get some data like

List of Functions
List of Variables (Static , External, Local)...
Whether the variable is input, output or bidirectional in a function
etc....
and use the same for our modelling work.

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

Regards
Raj

#2 07-25-2008, 09:30 AM

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.

#3 07-25-2008, 02:29 PM

On Fri, Jul 25, 2008 at 4:48 AM, rajagopal <rajagopal.ns@gmail.com> wrote:
> I would like to parse existing C programs ( may be using JAVACC
> parser) and get some data like
>
> List of Functions
> List of Variables (Static , External, Local)...
> Whether the variable is input, output or bidirectional in a function
> etc....
> and use the same for our modelling work.
>

There's also a C languages front-end under development as part
of the llvm project here:

http://clang.llvm.org/

there's also ongoing work to use this front end for static analysis
and it's already
been used by a few open source projects.

-eric

Thread Tools
Show Printable Version Email this Page
Display Modes
Linear Mode Switch to Hybrid Mode Switch to Threaded Mode