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 | ✓ |