projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd18aa4) | 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)
commit1f197c6861841bc0c27327c20b85e7b43b65affe
tree632273ec8ad9da3f4f93806bdb11c58a61b5a95dtree | snapshot
parentbd18aa4d5b565826e29ccfcaa0eb2cf689cae96ccommit | 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