[comp.lang.c] C static analyzers

tai@maui.cs.ucla.edu (Ann Tai) (09/09/89)

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.