blob: b7d1035a745bb18b140e5a6aa6c9e32ba63acac5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
Robustness of system calls:
- Test robustness of file descriptor handling.
2 close-stdin
2 close-stdout
2 close-bad-fd
2 close-twice
2 read-bad-fd
2 read-stdout
2 write-bad-fd
2 write-stdin
2 multi-child-fd
- Test robustness of pointer handling.
3 create-bad-ptr
3 exec-bad-ptr
3 open-bad-ptr
3 read-bad-ptr
3 write-bad-ptr
- Test robustness of buffer copying across page boundaries.
3 create-bound
3 open-boundary
3 read-boundary
3 write-boundary
- Test handling of null pointer and empty strings.
2 create-null
2 open-null
2 open-empty
- Test robustness of system call implementation.
3 sc-bad-arg
3 sc-bad-sp
5 sc-boundary
5 sc-boundary-2
- Test robustness of "exec" and "wait" system calls.
5 exec-missing
5 wait-bad-pid
5 wait-killed
- Test robustness of exception handling.
1 bad-read
1 bad-write
1 bad-jump
1 bad-read2
1 bad-write2
1 bad-jump2
|
