Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.6.2.16 $; site inmet.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!inmet!schooler
From: schooler@inmet.UUCP
Newsgroups: net.lang.c
Subject: Safe C?
Message-ID: <5000039@inmet.UUCP>
Date: Thu, 31-Oct-85 10:23:00 EST
Article-I.D.: inmet.5000039
Posted: Thu Oct 31 10:23:00 1985
Date-Received: Sun, 3-Nov-85 09:46:01 EST
Lines: 9
Nf-ID: #N:inmet:5000039:000:328
Nf-From: inmet!schooler    Oct 31 10:23:00 1985


  I have recently heard of a product called "Safe C", or something
like that.  It is apparently a pre-processor that inserts explicit
run-time checking code around pointer derefs, array references, etc.
Does anyone have any more information on this tool?

		-- Richard Schooler
		Intermetrics, Inc.
		{ihnp4,ima}!inmet!schooler