RE: [sv-bc] Re: Mandated warnings

I agree: I should have written "an array in their own code >is intended
to be< can be written out of bounds" 

 

rather than "an array in their own code can be written out of bounds"

 

In other words the designers should know what their design is supposed
to do in the absence of mistakes. 

 

...Stephen

 

 

________________________________

From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
Sent: Thursday, May 07, 2009 11:56 AM
To: Stephen Hill; Rich, Dave
Cc: sv-ec@server.eda.org; SV_BC List
Subject: RE: [sv-bc] Re: Mandated warnings

 

One comment:





If a designer doesn't know whether an array in their own code can be
written out of bounds then they have big problems because they don't
understand their own design.
[SB] I think the usual case is that the designer thinks he has written
the code so that this cannot happen. But what can we do? We're all human
and make mistakes.

 

Shalom 

---------------------------------------------------------------------
Intel Israel (74) Limited
 
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium.  Thank you.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.