Re: Safe ANSI C Subset

Horst von Brand <vonbrand@inf.utfsm.cl>
10 Dec 1996 12:07:21 -0500

          From comp.compilers
Related articles
Safe ANSI C Subset Jan.Soderberg@mecel.se (Jan Soderberg) (1996-12-03)
Re: Safe ANSI C Subset clfranck@worldnet.att.net (Craig Franck) (1996-12-07)
Re: Safe ANSI C Subset flux@stack.nl (1996-12-07)
Re: Safe ANSI C Subset ae59@rz.uni-karlsruhe.de (1996-12-07)
Re: Safe ANSI C Subset winney@erim.org (1996-12-07)
Re: Safe ANSI C Subset vonbrand@inf.utfsm.cl (Horst von Brand) (1996-12-10)
Re: Safe ANSI C Subset Roger@natron.demon.co.uk (Roger Barnett) (1996-12-15)
Re: Safe ANSI C Subset dmason@jupiter.scs.ryerson.ca (Dave Mason) (1997-01-09)
| List of all articles for this month |
From: Horst von Brand <vonbrand@inf.utfsm.cl>
Newsgroups: comp.compilers,comp.lang.c,comp.lang.c.moderated
Followup-To: comp.lang.c,comp.compilers
Date: 10 Dec 1996 12:07:21 -0500
Organization: Universidad Tecnica Federico Santa Maria
References: 96-12-030
Keywords: C, realtime

"Jan Soderberg" <Jan.Soderberg@mecel.se> writes:
> Does anyone know of any ANSI C subsets defined for safety critical
> real-time applications?


Perhaps way off base, but LCLint (a lint-like tool, capable of handling
many other "unsafe" things if guided by comments) might be a useful tool:
http://www.lcs.mit.edu:8001:/larch/lclint/
--
Dr. Horst H. von Brand mailto:vonbrand@inf.utfsm.cl
Departamento de Informatica Fono: +56 32 626364 x 431
Universidad Tecnica Federico Santa Maria Fax: +56 32 625217
Casilla 110-V, Valparaiso, Chile
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.