CS318 - Pintos
Pintos source browser for JHU CS318 course
sc-boundary-3.c
Go to the documentation of this file.
1 /** Invokes a system call with the system call number positioned
2  such that its first byte is valid but the remaining bytes of
3  the number are in invalid memory. Must kill process. */
4 
5 #include <syscall-nr.h>
7 #include "tests/lib.h"
8 #include "tests/main.h"
9 
10 void
11 test_main (void)
12 {
13  char *p = get_bad_boundary ();
14  p--;
15  *p = 100;
16 
17  /* Invoke the system call. */
18  asm volatile ("movl %0, %%esp; int $0x30" : : "g" (p));
19  fail ("should have killed process");
20 }
lib.h
test_main
void test_main(void)
Invokes a system call with the system call number positioned such that its first byte is valid but th...
Definition: sc-boundary-3.c:11
syscall-nr.h
fail
void fail(const char *format,...)
Definition: lib.c:40
main.h
get_bad_boundary
void * get_bad_boundary(void)
Returns an address that is invalid, but the preceding bytes are all valid (the highest address in the...
Definition: boundary.c:42
boundary.h