Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!henry.jpl.nasa.gov!elroy.jpl.nasa.gov!ucla-cs!tai
From: tai@maui.cs.ucla.edu (Ann Tai)
Newsgroups: comp.lang.c
Subject: C static analyzers
Message-ID: <27010@shemp.CS.UCLA.EDU>
Date: 8 Sep 89 23:51:38 GMT
Sender: news@CS.UCLA.EDU
Reply-To: tai@maui.cs.ucla.edu (Ann Tai)
Organization: UCLA Computer Science Department
Lines: 7


Is there a C static analyzer capable of producing a program
flow file, symbol files, and provide some semantic
information running under UNIX?

Thanks for your help if you know -- we really don't want to
write one.