Re: safety critical automotive software

["Peter C. Chapin" <PChapin@vtc.vsc.edu>]

On 2010-12-16 13:45, Rolf wrote:

> How do you achieve the "principles of strong typing" using C?

There are tools that enforce a stronger type model on C code than the
compiler does. I believe PC-Lint, for example, can produce warnings
about all implicit conversions and can treat typedefs as new types. I
don't believe it allows you to define range constraints, or anything
else requiring run time checking, but if used aggressively it can bring
a higher degree of discipline to C code than usual.

I'm sure there are other tools that can do similar things.

Peter
-- 
comp.lang.c.moderated - moderation address: clcm@plethora.net -- you must
have an appropriate newsgroups line in your header for your mail to be seen,
or the newsgroup name in square brackets in the subject line.  Sorry.