RFC: C++ Buffer Hardening

Re:RFC: C++ Buffer Hardening by planede on Thursday October 06, 2022 @05:17AM (#33106214)

Unspecified behavior and implementation defined behavior are distinct in theory. The latter requires the behavior to be documented by the implementer, while the former does not.

In practice I dare you to find compiler documentation for each implementation defined behavior.

https://timsong-cpp.github.io/cppwp/n4868/intro.defs#defns.u...

https://timsong-cpp.github.io/cppwp/n4868/intro.defs#defns.i...

edit:

C wording:

https://cigix.me/c17#J.1

https://cigix.me/c17#J.3

[ Parent | on HN ]

Re:RFC: C++ Buffer Hardening by gpderetta on Thursday October 06, 2022 @05:50AM (#33106362)

> In practice I dare you to find compiler documentation for each implementation defined behavior.

For gcc there is this:

https://gcc.gnu.org/onlinedocs/gcc/C-Implementation.html

No idea how complete it is. Also a lot of stuff is architecture/platform specific, not compiler specific, so you won't find it in the general compiler docs but you have to look at the psABI.

[ Parent | on HN ]