On 12/27/2017 7:01 PM, rjframe wrote:
The MSVC compiler does buffer security checks, by default, in release builds[1].
This is simply not checkable memory safety. All it is is setting aside some memory locations in strategic places with known values in that memory. If those values change, then some code somewhere must have a memory safety bug in it.
It's like picking two triangles and showing Pythagorean's theorem holds for them, vs proving Pythagorean's theorem works for all right triangles.
