projects
/
pintos-anon
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
860e48502215ed83a46f91fe138ae778abf75ff7
[pintos-anon]
/
grading
/
userprog
/
read-bad-ptr.c
1
#include <stdio.h>
2
#include <syscall.h>
3
4
int
5
main (void)
6
{
7
int handle;
8
printf ("(read-bad-ptr) begin\n");
9
10
handle = open ("sample.txt");
11
if (handle < 2)
12
printf ("(read-bad-ptr) fail: open() returned %d\n", handle);
13
14
read (handle, (char *) 0xc0101234, 123);
15
16
printf ("(read-bad-ptr) end\n");
17
return 0;
18
}