pintos-doxygen/html/mmap-over-data_8c_source.html

/** Verifies that mapping over the data segment is disallowed. */


#include <stdint.h>

#include <round.h>

#include <syscall.h>

#include "tests/lib.h"

#include "tests/main.h"


static char x;


void

test_main (void)

{

  uintptr_t x_page = ROUND_DOWN ((uintptr_t) &x, 4096);

  int handle;


  CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");

  CHECK (mmap (handle, (void *) x_page) == MAP_FAILED,

         "try to mmap over data segment");

}


mmap
mapid_t mmap(int fd, void *addr)
Project 3 and optionally project 4.
Definition: syscall.c:145

open
int open(const char *file)
Definition: syscall.c:103

MAP_FAILED
#define MAP_FAILED
Definition: syscall.h:13

lib.h

CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29

main.h

test_main
void test_main(void)
tests/main.h
Definition: mmap-over-data.c:12

x
static char x
Verifies that mapping over the data segment is disallowed.
Definition: mmap-over-data.c:9

round.h

ROUND_DOWN
#define ROUND_DOWN(X, STEP)
Yields X rounded down to the nearest multiple of STEP.
Definition: round.h:14

stdint.h

uintptr_t
uint32_t uintptr_t
Definition: stdint.h:36