use-after-free-test

goblint · Jan 25, 2024 · c7b4256 · c7b4256
1 parent 258ed14
commit c7b4256
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 7 deletions.
diff --git a/tests/practical/use-after-free.c b/tests/practical/use-after-free.c
diff --git a/tests/regression/79-assembly/03-asm-use-after-free.c b/tests/regression/79-assembly/03-asm-use-after-free.c
@@ -0,0 +1,11 @@
+//PARAM: --set ana.activated[+] useAfterFree --disable asm_is_nop
+#include <stdlib.h>
+
+int main(void) {
+  int *x = malloc(16);
+  free(x);
+  // write
+  asm ("nop" : "=x" (*x)); // WARN
+  // read
+  asm ("nop" : : "x" (*x)); // WARN
+}