PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
exec-bad-ptr.c
Go to the documentation of this file.
1
/** Passes an invalid pointer to the exec system call.
2
The process must be terminated with -1 exit code. */
3
4
#include <syscall.h>
5
#include "
tests/main.h
"
6
7
void
8
test_main
(
void
)
9
{
10
exec
((
char
*) 0x20101234);
11
}
test_main
void test_main(void)
Passes an invalid pointer to the exec system call.
Definition:
exec-bad-ptr.c:8
exec
pid_t exec(const char *file)
Definition:
syscall.c:79
main.h
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2
1.9.2