Design and development of a static analyzer - V Parthasasarathi (computer science,cusat, 1997)