Lab 7 updates.

Author: anthonycanino1

lab7/test/Makefile

@@ -1,6 +1,6 @@
 .PRECIOUS: %.ll
 
-TARGETS=simple0.out simple1.out branch0.out loop0.out
+TARGETS=simple0.out simple1.out branch0.out loop0.out branch1.out branch2.out loop1.out
 
 all: ${TARGETS}
 

lab7/test/branch1.c

@@ -0,0 +1,13 @@
+#include "prelude.h"
+
+int main(int argc, char **argv) {
+  int x = tainted_input();
+  int y;
+  if (argc > 2) {
+    x = 0;
+    y = sanitizer(x);
+  } else {
+    y = not_sanitizer(x);
+  }
+  int z = 4 / y; // alarm
+}

lab7/test/branch2.c

@@ -0,0 +1,12 @@
+#include "prelude.h"
+
+int main(int argc, char **argv) {
+  int x = tainted_input();
+  int y;
+  if (1) {
+    y = 0;
+  } else {
+    y = 100;
+  }
+  int z = 4 / y; // alarm
+}

lab7/test/loop1.c

@@ -0,0 +1,11 @@
+#include "prelude.h"
+
+int main(int argc, char **argv) {
+  int x;
+  int y = tainted_input();
+  x = 0;
+  while (x > 0) {
+    y = sanitizer(y);
+  }
+  int z = 4 / y; // alarm
+}