info-vax@ucbvax.ARPA (06/01/85)
From: Jerry Wolf <WOLF@BBNG> Recently, I inquired if there were a LINT utility available to check C source programs for users of the DEC C under VMS. I heard of none. This week, I saw an ad from CCA Uniworks for some Safe C (TM) tools that they are marketing, one of which is the "Runtime Analyzer", which purports to go beyond the static checking that LINT can do. It's a preprocessor to the compiler that generates checks for match of actual/formal parameters, array indexing out of bounds, stray pointers, and types of arguments to stdio and string library procedures. It can also produce code to generate a trace of function calls, args, and return values. Has anyone experience with this (or such a) product? Does it do what LINT does statically, plus the runtime checks too? Cheers, Jerry