Nem, nem lehet a fordítóba beletenni határellenőrzést (eleve, ha lehetne, akkor már rég beleteték volna...)Na de hát ezt az ÖSSZES C/C++ fordító tudja! Bármelyik képes ASAN kódot hozzáfordítani.
meglévő millió kódbázisra nem lehet utólag rákényszeríteni ilyen szabályokat.Mondod Te, miközben Bellard meg unalmában összedob egy C fordítót, ami csuklóból tudja ezt (és brahiból a nem túl kicsi Linux kernel forrás fordításával demonstrálta, hogy a gyakorlatban is működőképes a megoldása). És azt se felejtsük el, hogy bármilyen meglévő kódbázist képes a valgrind utólag ellenőrizni, annélkül, hogy a forráshoz akár egy ujjal is hozzá kéne nyúlni.