--- test.c 2017-08-26 15:33:59.480235200 -0400
+++ test-patched.c 2017-08-23 22:20:22.458331500 -0400
@@ -9,6 +9,10 @@
printf("hello\n");
}
+int bad(char *a, char *b) {
+ strcpy(b, a);
+}
+
/* This is a strcpy test. */
int demo(char *a, char *b) {