知らなければ想像してみてください (たぶんその想像で正解です)
malloc と free を hook すれば double free detection や leak detector はおおむね作れそう
"still reachable" を判定するのに、最後にグローバル変数をなめる必要がありそう
OOB アクセスは？どう考えても全てメモリアクセスをフックしないとできなくない？
そんなことできるの？できたとして実用的な速度で動くの？