PKUOS - Pintos
Pintos source browser for PKU Operating System 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
10void
11test_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}
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
void fail(const char *format,...)
Definition: lib.c:40
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