cafe-grader-judge-scripts

Commit r76:4469d653fe5f public

parent | child
Description:
added /dev/urandom to file allowed to be accessed, probably needed after ubuntu 9.04 git-svn-id: http://theory.cpe.ku.ac.th/grader/judge/trunk/scripts@417 6386c4cd-e34a-4fa8-8920-d93eb39b512e
Commit status:
[Not Reviewed]
References:
default
Diff options:
Raw Diff | Patch Diff | Download Diff | Ignore whitespace | Increase context
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Side by Side Unified
Expand All Files Collapse All Files Wide Mode Diff
Add another comment
Browse Files

r76:4469d653fe5f - - 1 file changed: 1 inserted, 0 deleted

Show file before | Show file after | Raw diff | Download diff | Ignore whitespace Increase context Show commentsHide comments
@@ -94,192 +94,193
94 if (!WIFEXITED(stat))
94 if (!WIFEXITED(stat))
95 fprintf(stderr,"wait4: unknown status\n");
95 fprintf(stderr,"wait4: unknown status\n");
96 struct timeval total;
96 struct timeval total;
97 int wall;
97 int wall;
98 wall = time(NULL) - start_time;
98 wall = time(NULL) - start_time;
99 timeradd(&rus.ru_utime, &rus.ru_stime, &total);
99 timeradd(&rus.ru_utime, &rus.ru_stime, &total);
100
100
101 print_running_stat((double)wall,
101 print_running_stat((double)wall,
102 (double) rus.ru_utime.tv_sec +
102 (double) rus.ru_utime.tv_sec +
103 ((double) rus.ru_utime.tv_usec/1000000.0),
103 ((double) rus.ru_utime.tv_usec/1000000.0),
104 (double) rus.ru_stime.tv_sec +
104 (double) rus.ru_stime.tv_sec +
105 ((double) rus.ru_stime.tv_usec/1000000.0),
105 ((double) rus.ru_stime.tv_usec/1000000.0),
106 max_mem_used);
106 max_mem_used);
107 }
107 }
108 exit(1);
108 exit(1);
109 }
109 }
110
110
111 static void NONRET __attribute__((format(printf,1,2)))
111 static void NONRET __attribute__((format(printf,1,2)))
112 die(char *msg, ...)
112 die(char *msg, ...)
113 {
113 {
114 va_list args;
114 va_list args;
115 va_start(args, msg);
115 va_start(args, msg);
116 vfprintf(stderr, msg, args);
116 vfprintf(stderr, msg, args);
117 fputc('\n', stderr);
117 fputc('\n', stderr);
118 box_exit();
118 box_exit();
119 }
119 }
120
120
121 static void __attribute__((format(printf,1,2)))
121 static void __attribute__((format(printf,1,2)))
122 log(char *msg, ...)
122 log(char *msg, ...)
123 {
123 {
124 va_list args;
124 va_list args;
125 va_start(args, msg);
125 va_start(args, msg);
126 if (verbose)
126 if (verbose)
127 {
127 {
128 vfprintf(stderr, msg, args);
128 vfprintf(stderr, msg, args);
129 fflush(stderr);
129 fflush(stderr);
130 }
130 }
131 va_end(args);
131 va_end(args);
132 }
132 }
133
133
134 static void
134 static void
135 valid_filename(unsigned long addr)
135 valid_filename(unsigned long addr)
136 {
136 {
137 char namebuf[4096], *p, *end;
137 char namebuf[4096], *p, *end;
138 static int mem_fd;
138 static int mem_fd;
139
139
140 if (!file_access)
140 if (!file_access)
141 die("File access forbidden.");
141 die("File access forbidden.");
142 if (file_access >= 9)
142 if (file_access >= 9)
143 return;
143 return;
144
144
145 if (!mem_fd)
145 if (!mem_fd)
146 {
146 {
147 sprintf(namebuf, "/proc/%d/mem", (int) box_pid);
147 sprintf(namebuf, "/proc/%d/mem", (int) box_pid);
148 mem_fd = open(namebuf, O_RDONLY);
148 mem_fd = open(namebuf, O_RDONLY);
149 if (mem_fd < 0)
149 if (mem_fd < 0)
150 die("open(%s): %m", namebuf);
150 die("open(%s): %m", namebuf);
151 }
151 }
152 p = end = namebuf;
152 p = end = namebuf;
153 do
153 do
154 {
154 {
155 if (p >= end)
155 if (p >= end)
156 {
156 {
157 int remains = PAGE_SIZE - (addr & (PAGE_SIZE-1));
157 int remains = PAGE_SIZE - (addr & (PAGE_SIZE-1));
158 int l = namebuf + sizeof(namebuf) - end;
158 int l = namebuf + sizeof(namebuf) - end;
159 if (l > remains)
159 if (l > remains)
160 l = remains;
160 l = remains;
161 if (!l)
161 if (!l)
162 die("Access to file with name too long.");
162 die("Access to file with name too long.");
163 if (long_seek(mem_fd, addr, SEEK_SET) < 0)
163 if (long_seek(mem_fd, addr, SEEK_SET) < 0)
164 die("long_seek(mem): %m");
164 die("long_seek(mem): %m");
165 remains = read(mem_fd, end, l);
165 remains = read(mem_fd, end, l);
166 if (remains < 0)
166 if (remains < 0)
167 die("read(mem): %m");
167 die("read(mem): %m");
168 if (!remains)
168 if (!remains)
169 die("Access to file with name out of memory.");
169 die("Access to file with name out of memory.");
170 end += l;
170 end += l;
171 addr += l;
171 addr += l;
172 }
172 }
173 }
173 }
174 while (*p++);
174 while (*p++);
175
175
176 log("[%s] ", namebuf);
176 log("[%s] ", namebuf);
177 if (file_access >= 3)
177 if (file_access >= 3)
178 return;
178 return;
179 if (!strchr(namebuf, '/') && strcmp(namebuf, ".."))
179 if (!strchr(namebuf, '/') && strcmp(namebuf, ".."))
180 return;
180 return;
181 if (file_access >= 2)
181 if (file_access >= 2)
182 {
182 {
183 if ((!strncmp(namebuf, "/etc/", 5) ||
183 if ((!strncmp(namebuf, "/etc/", 5) ||
184 !strncmp(namebuf, "/lib/", 5) ||
184 !strncmp(namebuf, "/lib/", 5) ||
185 !strncmp(namebuf, "/usr/lib/", 9))
185 !strncmp(namebuf, "/usr/lib/", 9))
186 && !strstr(namebuf, ".."))
186 && !strstr(namebuf, ".."))
187 return;
187 return;
188 if (!strcmp(namebuf, "/dev/null") ||
188 if (!strcmp(namebuf, "/dev/null") ||
189 !strcmp(namebuf, "/dev/zero") ||
189 !strcmp(namebuf, "/dev/zero") ||
190 + !strcmp(namebuf, "/dev/urandom") ||
190 !strcmp(namebuf, "/proc/meminfo") ||
191 !strcmp(namebuf, "/proc/meminfo") ||
191 !strcmp(namebuf, "/proc/self/stat") ||
192 !strcmp(namebuf, "/proc/self/stat") ||
192 !strncmp(namebuf, "/usr/share/zoneinfo/", 20))
193 !strncmp(namebuf, "/usr/share/zoneinfo/", 20))
193 return;
194 return;
194 }
195 }
195 die("Forbidden access to file `%s'.", namebuf);
196 die("Forbidden access to file `%s'.", namebuf);
196 }
197 }
197
198
198 static int
199 static int
199 valid_syscall(struct user *u)
200 valid_syscall(struct user *u)
200 {
201 {
201 switch (u->regs.orig_eax)
202 switch (u->regs.orig_eax)
202 {
203 {
203 case __NR_execve:
204 case __NR_execve:
204 {
205 {
205 static int exec_counter;
206 static int exec_counter;
206 return !exec_counter++;
207 return !exec_counter++;
207 }
208 }
208 case __NR_open:
209 case __NR_open:
209 case __NR_creat:
210 case __NR_creat:
210 case __NR_unlink:
211 case __NR_unlink:
211 case __NR_oldstat:
212 case __NR_oldstat:
212 case __NR_access:
213 case __NR_access:
213 case __NR_oldlstat:
214 case __NR_oldlstat:
214 case __NR_truncate:
215 case __NR_truncate:
215 case __NR_stat:
216 case __NR_stat:
216 case __NR_lstat:
217 case __NR_lstat:
217 case __NR_truncate64:
218 case __NR_truncate64:
218 case __NR_stat64:
219 case __NR_stat64:
219 case __NR_lstat64:
220 case __NR_lstat64:
220 valid_filename(u->regs.ebx);
221 valid_filename(u->regs.ebx);
221 return 1;
222 return 1;
222 case __NR_exit:
223 case __NR_exit:
223 case __NR_read:
224 case __NR_read:
224 case __NR_write:
225 case __NR_write:
225 case __NR_close:
226 case __NR_close:
226 case __NR_lseek:
227 case __NR_lseek:
227 case __NR_getpid:
228 case __NR_getpid:
228 case __NR_getuid:
229 case __NR_getuid:
229 case __NR_oldfstat:
230 case __NR_oldfstat:
230 case __NR_dup:
231 case __NR_dup:
231 case __NR_brk:
232 case __NR_brk:
232 case __NR_getgid:
233 case __NR_getgid:
233 case __NR_geteuid:
234 case __NR_geteuid:
234 case __NR_getegid:
235 case __NR_getegid:
235 case __NR_dup2:
236 case __NR_dup2:
236 case __NR_ftruncate:
237 case __NR_ftruncate:
237 case __NR_fstat:
238 case __NR_fstat:
238 case __NR_personality:
239 case __NR_personality:
239 case __NR__llseek:
240 case __NR__llseek:
240 case __NR_readv:
241 case __NR_readv:
241 case __NR_writev:
242 case __NR_writev:
242 case __NR_getresuid:
243 case __NR_getresuid:
243 #ifdef __NR_pread64
244 #ifdef __NR_pread64
244 case __NR_pread64:
245 case __NR_pread64:
245 case __NR_pwrite64:
246 case __NR_pwrite64:
246 #else
247 #else
247 case __NR_pread:
248 case __NR_pread:
248 case __NR_pwrite:
249 case __NR_pwrite:
249 #endif
250 #endif
250 case __NR_ftruncate64:
251 case __NR_ftruncate64:
251 case __NR_fstat64:
252 case __NR_fstat64:
252 case __NR_fcntl:
253 case __NR_fcntl:
253 case __NR_fcntl64:
254 case __NR_fcntl64:
254 case __NR_mmap:
255 case __NR_mmap:
255 case __NR_munmap:
256 case __NR_munmap:
256 case __NR_ioctl:
257 case __NR_ioctl:
257 case __NR_uname:
258 case __NR_uname:
258 case 252:
259 case 252:
259 case 243:
260 case 243:
260 // added for free pascal
261 // added for free pascal
261 case __NR_ugetrlimit:
262 case __NR_ugetrlimit:
262 case __NR_readlink:
263 case __NR_readlink:
263 return 1;
264 return 1;
264 // case __NR_time:
265 // case __NR_time:
265 case __NR_alarm:
266 case __NR_alarm:
266 // case __NR_pause:
267 // case __NR_pause:
267 case __NR_signal:
268 case __NR_signal:
268 case __NR_fchmod:
269 case __NR_fchmod:
269 case __NR_sigaction:
270 case __NR_sigaction:
270 case __NR_sgetmask:
271 case __NR_sgetmask:
271 case __NR_ssetmask:
272 case __NR_ssetmask:
272 case __NR_sigsuspend:
273 case __NR_sigsuspend:
273 case __NR_sigpending:
274 case __NR_sigpending:
274 case __NR_getrlimit:
275 case __NR_getrlimit:
275 case __NR_getrusage:
276 case __NR_getrusage:
276 case __NR_gettimeofday:
277 case __NR_gettimeofday:
277 case __NR_select:
278 case __NR_select:
278 case __NR_readdir:
279 case __NR_readdir:
279 case __NR_setitimer:
280 case __NR_setitimer:
280 case __NR_getitimer:
281 case __NR_getitimer:
281 case __NR_sigreturn:
282 case __NR_sigreturn:
282 case __NR_mprotect:
283 case __NR_mprotect:
283 case __NR_sigprocmask:
284 case __NR_sigprocmask:
284 case __NR_getdents:
285 case __NR_getdents:
285 case __NR_getdents64:
286 case __NR_getdents64:
You need to be logged in to leave comments. Login now