Using Bison generated Parsers for Static Analysis of C code

[Annamalai Paramasivam]

Hi all,

I am trying to develop a tool which will carry out
static analysis using the Bison generated Parser. The
intent of the tool is to carry out checks like

   a)A function shall have only one exit point
   b) Return values from all function calls are used

I have two questions

a) Is the Bison generated Parser the appropriate tool
   for developing this application
b) I am assuming that these checks can be done by
    appropriately defining the rules and using the
    "Actions" subsection, print out the abnormalities.
    Is it correct?

Any inputs will be received with gratitude.

regards
Annamalai Paramasivam

__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com