PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
void | test_main (void) |
This program attempts to read kernel memory. More... | |
void test_main | ( | void | ) |
This program attempts to read kernel memory.
This should terminate the process with a -1 exit code.
Definition at line 8 of file bad-read2.c.