Initial Pintos

1 files changed, 24 insertions, 0 deletions

diff --git a/src/tests/klaar/read-bad-buf.c b/src/tests/klaar/read-bad-buf.c
new file mode 100644
index 0000000..1e41562
--- /dev/null
+++ b/src/tests/klaar/read-bad-buf.c
@@ -0,0 +1,24 @@
+/* Passes an semingly valid pointer to the read system call.
+   The pointer will however span invalid pages.
+   The process must be terminated with -1 exit code.
+   (klaar@ida)
+*/
+
+#include <syscall.h>
+#include "tests/lib.h"
+#include "tests/main.h"
+
+char global; /* allocated with process image */
+
+void
+test_main (void) 
+{
+  int handle;
+  char local; /* allocated on process stack */
+  
+  CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
+
+  /* buffer will start and end at valid addresses ... */
+  read (handle, (char *)&global, &local - &global + 1);
+  fail ("should not have survived read()");
+}