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.