PKUOS - Pintos
Pintos source browser for PKU Operating System course
Functions
bad-read2.c File Reference
#include "tests/lib.h"
#include "tests/main.h"
Include dependency graph for bad-read2.c:

Go to the source code of this file.

Functions

void test_main (void)
 This program attempts to read kernel memory. More...
 

Function Documentation

◆ test_main()

void test_main ( void  )

This program attempts to read kernel memory.

tests/main.h

This should terminate the process with a -1 exit code.

Definition at line 8 of file bad-read2.c.

References fail(), and msg().

Here is the call graph for this function: