Nope. There are plenty of C/C++ tools which do this sort of test. This was a popular one for a while, back when C++ was still used for major new applications:

Nope. There are plenty of C/C++ tools which do this sort of test. This was a popular one for a while, back when C++ was still used for major new applications: https://en.wikipedia.org/wiki/BoundsChecker https://en.wikipedia.org/wiki/BoundsChecker There are lots of techniques for this. For example, you can instrument malloc() to allocate 10 extra bytes, put a specific known value there, and confirm it didn't change. There are much fancier ones too, which make clever use of hardware features like MXP. It's a whole research field.