https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82179
--- Comment #6 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #5) > (In reply to Federico Bento from comment #1) > > > > https://sourceware.org/ml/libc-alpha/2017-09/msg00238.html > > https://sourceware.org/ml/libc-alpha/2017-09/msg00423.html > > > > In this, Martin said, "David Malcolm has done some preliminary work > on a GCC maaloc/free optimization and diagnostic pass that might be > well suited to this sort of instrumentation," so cc-ing him. The static analyzer he's developing might also be relevant for things like this