How difficult is it to make a compiler extension that remembers buffers' size and checks if we're overflowing at each access? It could be used at least just in debug versions of critical software.
It doesn't sound impossible to me but I know nothing about compiler development :)
It doesn't sound impossible to me but I know nothing about compiler development :)