summaryrefslogtreecommitdiff
path: root/tests/qual_fault.test
blob: 248453981a9f8071010cdfb736f110cebd0edb39 (plain)
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
#!/bin/sh -efu
#
# Check that fault injection works properly.
#
# Copyright (c) 2016 Dmitry V. Levin <ldv@strace.io>
# Copyright (c) 2016-2021 The strace developers.
# All rights reserved.
#
# SPDX-License-Identifier: GPL-2.0-or-later

. "${srcdir=.}/scno_tampering.sh"

#
# F
# F+
# F+S

N=100

: ${suffix=}
[ -z "${name_override-}" ] || NAME="$name_override"

check_fault_injection()
{
	local trace fault err first last step procs extra
	trace=$1; shift
	fault=$1; shift
	err=$1; shift
	first=$1; shift
	last=$1; shift
	step=$1; shift
	procs=$1; shift
	extra="$*"

	local when=
	if [ -z "$first$last$step" ]; then
		first=1
		last=-1
		step=1
	elif [ -z "$last" ]; then
		case "$step" in
			'') when=":when=$first"; step=1; last=$first ;;
			+) when=":when=$first+"; step=1; last=-1 ;;
			*) when=":when=$first+$step"; last=-1; ;;
		esac
	else
		case "$step" in
			'') when=":when=${first}..${last}"; step=1 ;;
			+) when=":when=${first}..${last}+"; step=1 ;;
			*) when=":when=${first}..${last}+${step}" ;;
		esac
	fi

	local error=
	local raw=reg
	set --
	case "$err" in
		'') ;;
		[123456789]*)
			error=":error=$err"
			raw=raw
			set -- -e raw=all
			;;
		*) error=":error=$err" ;;
	esac

	outexp="$NAME.out.exp"
	outgot="$NAME.out.got"
	outout="$NAME.out.out"
	outpid="$NAME.pid"

	run_strace -a11 -ff -e trace=$trace \
		"$@" -e fault=$fault$when$error$suffix $extra \
		../$NAME $raw "$err" "$first" "$last" "$step" $N \
		"$procs" "$outexp" "$outgot" "$outout" "$outpid"

	for i in $(seq 0 $((procs - 1)) )
	do
		pid=$(cat "$outpid.$i")

		match_diff "$LOG.$pid" "$outout.$i"
		match_diff "$outgot.$i" "$outexp.$i"
	done
}

for err in '' ENOSYS 22 einval; do
	for fault in writev desc,51; do
		check_fault_injection \
			writev $fault "$err" '' '' '' 1 -efault=chdir
		check_fault_injection \
			writev $fault "$err" '' '' '' 1 -efault=chdir -efault=none
		for F in 1 2 3 7; do
			check_fault_injection \
				writev $fault "$err" $F '' '' 1
			check_fault_injection \
				writev $fault "$err" $F '' + 1

			for L in 1 2 5 11; do
				[ "$L" -ge "$F" ] ||
					continue
				check_fault_injection \
					writev $fault "$err" $F $L '' 1
				check_fault_injection \
					writev $fault "$err" $F $L + 1
			done

			for S in 1 2 3 7; do
				check_fault_injection \
					writev $fault "$err" $F '' $S 1
				check_fault_injection \
					writev $fault "$err" $F '' $S 4
				for L in 1 2 7 11; do
					[ "$L" -ge "$F" ] ||
						continue
					check_fault_injection \
						writev $fault "$err" $F $L $S 1
					check_fault_injection \
						writev $fault "$err" $F $L $S 4
				done
			done
		done
	done
done