Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84; site ncr-sd.UUCP Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!bellcore!decvax!ittatc!dcdwest!sdcsvax!ncr-sd!laman From: laman@ncr-sd.UUCP (Mike Laman) Newsgroups: net.wanted Subject: Looking for information on "strict" C compilers and interpreters Message-ID: <248@ncr-sd.UUCP> Date: Wed, 31-Jul-85 15:47:07 EDT Article-I.D.: ncr-sd.248 Posted: Wed Jul 31 15:47:07 1985 Date-Received: Sat, 3-Aug-85 06:13:03 EDT Distribution: net Organization: NCR Corporation, Torrey Pines Lines: 15 I'm looking for information (addresses, prices, impressions, experiences, ...) for C compilers and interpreters that check for various runtime mistakes like argument mismatching, invalid array indecies, "bad" pointers. All information is greatly appreciated and, if requested, I will send a summary to the network. I have heard about "Safe C", but don't know about prices and experiences others may know about. Thanks in advance. Mike Laman UUCP: {ucbvax,philabs,sdcsla}!sdcsvax!ncr-sd!laman P.S. Notice that the machine is now ncr-sd, instead of ncr-tp