I write a snippet with an obvious out-of-bound bug and test it by using ASAN with afl-gcc, but it seems that ASAN doesn\'t correctly instrument. The snippet is as follows:
