projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec841df) | patch
added bad-jump/read/write bad-jump2/read2/write2 to check that process
authorGodmar Back <godmar@gmail.com>
Wed, 7 Jun 2006 22:09:19 +0000 (22:09 +0000)
committerGodmar Back <godmar@gmail.com>
Wed, 7 Jun 2006 22:09:19 +0000 (22:09 +0000)
commit86a6823c27924913dcfa9af788d16491e0c1546c
treebeedd03377a52368ab0dc2939aff4bb4c66d798ftree | snapshot
parentec841df4417054dbfb57e5b36b2281ac947df235commit | diff
added bad-jump/read/write bad-jump2/read2/write2 to check that process
that attempt to execute/read/write NULL or a kernel address, resp., are
properly terminated.
14 files changed:
src/tests/userprog/Make.tests diff | blob | history
src/tests/userprog/Rubric.robustness diff | blob | history
src/tests/userprog/bad-jump.c [new file with mode: 0644] blob
src/tests/userprog/bad-jump.ck [new file with mode: 0644] blob
src/tests/userprog/bad-jump2.c [new file with mode: 0644] blob
src/tests/userprog/bad-jump2.ck [new file with mode: 0644] blob
src/tests/userprog/bad-read.c [new file with mode: 0644] blob
src/tests/userprog/bad-read.ck [new file with mode: 0644] blob
src/tests/userprog/bad-read2.c [new file with mode: 0644] blob
src/tests/userprog/bad-read2.ck [new file with mode: 0644] blob
src/tests/userprog/bad-write.c [new file with mode: 0644] blob
src/tests/userprog/bad-write.ck [new file with mode: 0644] blob
src/tests/userprog/bad-write2.c [new file with mode: 0644] blob
src/tests/userprog/bad-write2.ck [new file with mode: 0644] blob
Pintos public repository