Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 alpha 4/15/85; site ucbvax.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!ihnp4!ucbvax!info-vax
From: info-vax@ucbvax.ARPA
Newsgroups: fa.info-vax
Subject: CCA Uniworks Safe C (TM) Runtime Analyzer
Message-ID: <7674@ucbvax.ARPA>
Date: Fri, 31-May-85 19:20:21 EDT
Article-I.D.: ucbvax.7674
Posted: Fri May 31 19:20:21 1985
Date-Received: Sat, 1-Jun-85 03:34:34 EDT
Sender: daemon@ucbvax.ARPA
Organization: University of California at Berkeley
Lines: 19

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