Added tests for bug detection on locals

runtime/szrt_asan.c

Index: runtime/szrt_asan.c
diff --git a/runtime/szrt_asan.c b/runtime/szrt_asan.c
index 6fab295879818dfe1684f236223cbb78a04e2ee2..7a056c459926f7ab78cad50e96b0772591d241df 100644
--- a/runtime/szrt_asan.c
+++ b/runtime/szrt_asan.c
@@ -79,7 +79,10 @@ void __asan_check(char *ptr, int size) {
   for (; ptr < end; ++ptr) {
     char shadow = *(char *)MEM2SHADOW(ptr);
     printf("checking %p with shadow %d\n", ptr, shadow);
-    assert(shadow == 0 || (shadow > 0 && SHADOW_OFFSET(ptr) <= shadow));
+    if (shadow != 0 && (shadow < 0 || SHADOW_OFFSET(ptr) > shadow)) {
+      fprintf(stderr, "Illegal access of %d bytes at %p\n", size, ptr);
+      abort();
+    }
   }
 }