CS318 - Pintos
Pintos source browser for JHU CS318 course
src
tests
userprog
write-bad-ptr.c
Go to the documentation of this file.
1
/** Passes an invalid pointer to the write system call.
2
The process must be terminated with -1 exit code. */
3
4
#include <syscall.h>
5
#include "
tests/lib.h
"
6
#include "
tests/main.h
"
7
8
void
9
test_main
(
void
)
10
{
11
int
handle;
12
CHECK
((handle =
open
(
"sample.txt"
)) > 1,
"open \"sample.txt\""
);
13
14
write
(handle, (
char
*) 0x10123420, 123);
15
fail
(
"should have exited with -1"
);
16
}
lib.h
write
int write(int fd, const void *buffer, unsigned size)
Definition:
syscall.c:121
CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition:
lib.h:29
open
int open(const char *file)
Definition:
syscall.c:103
test_main
void test_main(void)
Passes an invalid pointer to the write system call.
Definition:
write-bad-ptr.c:9
fail
void fail(const char *format,...)
Definition:
lib.c:40
main.h
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by
1.8.16
1.8.16