Path: utzoo!attcan!uunet!portal!cup.portal.com!Drool
From: Drool@cup.portal.com (Paul James Coene)
Newsgroups: comp.lang.c
Subject: Re: Run-time Checks for C
Message-ID: <11871@cup.portal.com>
Date: 29 Nov 88 00:39:14 GMT
References: <10113@umn-cs.CS.UMN.EDU> <366@ralph.UUCP>
Organization: The Portal System (TM)
Lines: 15

Sorry, no included article as I'm not used to my new system for postinf...
 
In a mention of bounds checking, a reference was made to a C interpreter
that does boundary checking, etc.  We are using such a beast at work.  Its
called Saber C, and does seem to do this type of checking.  Because of the
diffi
difficulty of the task, however, this checking can become tedious.  Not
only are bounds checked, but also usage checks are made based on how a 
ssection of code was allocated.  This makes applying "skeleton" structures
upon data areas very tedious, as all access, even when properly cast,
cause run time warnings. 
 
In general, Saber does a good job of load time (linty) type checks, and
mmany run time checks.  If anyone is interested, I'll post their Mail 
addreess.