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.