IssueRaiser

You're correct - the compiler operates within the memory model of the language.

You're correct - the compiler operates within the memory model of the language. But C / C++'s memory model is broken w.r.t. security. There is no way to ensure that something is actually overwritten, because under the memory models of C and C++ you cannot ever read that memory again, even though in actuality you can.

Posted by TheLoneWolfling on Jun 12, 2015, 8:40 PM

Tags

Related issues

Raise real-world problems, find people facing the same issue, and discuss solutions.6,000 issues0 comments

reliability (Software)

You're correct - the compiler operates within the memory model of the language.

TheLoneWolflingJun 12, 2015, 8:40 PM

You're correct - the compiler operates within the memory model of the language. But C / C++'s memory model is broken w.r.t. security. There is no way to ensure that something is actually overwritten, because under the memory models of C and C++ you cannot ever read that memory again, even though in actuality you can.

Comments (0)

No comments yet. Start the discussion.

Comment on this issue