Skip to main content


Table 3 The detection result of MAI on CTF challenges with ten different memory corruption bugs

From: Memory access integrity: detecting fine-grained memory access errors in binary code

Challenges Name Event Bug Type Detection
babyheap 0ctf2017 use-after-free
auir casw2017 double free
house_of_c4rd 0ctf2018quals integer overflow
scv casw2017 stack overflow
simple_memo_pad codebluectf2017 intra data-structure overflow
1000levels hitbctf2017 read uninit
woO2-fixed TUCTF 2016 abuse global variable
fastbin 0ctf2017 chunk overlap
babyheap Codegate 2018 heap write overflow
babyheap SECUINSIDE 2017 heap read overflow