> You might also find Ivy CC (http://ivy.cs.berkeley.edu/ivywiki/ > index.php/Main/Ivy) > of interest. You might be able to find someone to help you add the > check you want to that.
Thanks for the tip, I'll get contacted with them. > > * A write attempt to a location pointed by const pointer (safe) is > OK because the correctness of the content of that pointer can be > guaranteed. (It is stored in ROM, cannot be damaged by other SW component.) > > Which is surely why such a write attempt is *NOT* ok. It cannot work. I'm afraid, my phrasing was misleading. I meant that the pointer itself is stored in ROM so its value (ie. the pointed memory address) cannot be overwritten accidentally. Nonetheless, the stored memory address may point to a writeable segment (RAM) and that part of the memory could be damaged. Probably I still miss the point. In this case, please let me know. As you are aware, messages sent by eMail can be manipulated or diverted by third parties. If not mentioned otherwise our eMail messages are generally not legally binding. This electronic message (including any attachments) contains confidential information and may be legally privileged or otherwise protected from disclosure and as such is intended only for the use by the intended recipients. Please be aware that any unauthorized disclosure, copy, distribution or use of the contents of this message is expressly prohibited. If you have received this eMail in error please understand that you must not copy this eMail or any attachment or disclose the contents to any other person. Please notify me immediately by reply eMail and delete this message and any attachments from your system. Thank you for your cooperation.
_______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
