News for hackers. Stuff that matters.

A comment on RFC: C++ Buffer Hardening. Parent comment

Re:RFC: C++ Buffer Hardening by mgaunard on Thursday October 06, 2022 @09:33AM (#33107960)
Dereferencing a pointer to memory that doesn't point to a live valid object is undefined behaviour. You couldn't possibly specify what this does without instrumenting every single access to memory, like asan or valgrind does.
[ Parent | on HN ]
Re:RFC: C++ Buffer Hardening by olliej on Thursday October 06, 2022 @01:30PM (#33111250)
As I said, behaviour that could be unspecified rather than undefined.

This is an example of something that cannot be anything other than UB.

[ Parent | on HN ]