What every C Programmer should know about undefined behavior #2/3
Posted May 16, 2011 22:57 UTC (Mon) by
mpr22 (subscriber, #60784)
In reply to:
What every C Programmer should know about undefined behavior #2/3 by njs
Parent article:
What every C Programmer should know about undefined behavior #2/3
Actually, given that C and C++ pointers have no fandango-on-core protection, to prove your private members never get edited by non-member non-friend code you have to prove the memory-access correctness of the entire program, including the underlying standard library.
(
Log in to post comments)