[fa.info-vax] CCA Uniworks Safe C

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