On Thu, Oct 08, 2009 at 05:10:37PM -0400, Sean Breheny wrote:
> On Thu, Oct 8, 2009 at 4:39 PM, Vitaliy <piclist@maksimov.org> wrote:
> > You might as well declare pointers evil and taboo, since they cause a far
> > greater amount of damage when the programmer using them doesn't know what
> > she's doing.
> 
> Apparently they DO declare them illegal for certain types of safety
> critical applications. I was actually surprised to discover this
> because it seems to me that it is a false sense of security (i.e., a
> compiler bug could still exist which caused memory over-runs).

I have some experience with MISRA C (rules used mainly for safety-critical
automotive software).  I haven't got my copy handy to check the pointer rules,
but part of the overall process is verifying the compiler.

Regards,

Chris
-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist