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
124
125
126
127
128
|
// Copyright 2012 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "sandbox/linux/bpf_dsl/syscall_set.h"
#include <stddef.h>
#include <stdint.h>
#include <algorithm>
#include <array>
#include "sandbox/linux/bpf_dsl/linux_syscall_ranges.h"
#include "sandbox/linux/tests/unit_tests.h"
namespace sandbox {
namespace {
const SyscallSet kSyscallSets[] = {
SyscallSet::All(),
SyscallSet::InvalidOnly(),
};
SANDBOX_TEST(SyscallSet, Monotonous) {
for (const SyscallSet& set : kSyscallSets) {
uint32_t prev = 0;
bool have_prev = false;
for (uint32_t sysnum : set) {
if (have_prev) {
SANDBOX_ASSERT(sysnum > prev);
} else if (set == SyscallSet::All()) {
// The iterator should start at 0.
SANDBOX_ASSERT(sysnum == 0);
}
prev = sysnum;
have_prev = true;
}
// The iterator should always return 0xFFFFFFFFu as the last value.
SANDBOX_ASSERT(have_prev);
SANDBOX_ASSERT(prev == 0xFFFFFFFFu);
}
}
// AssertRange checks that SyscallIterator produces all system call
// numbers in the inclusive range [min, max].
void AssertRange(uint32_t min, uint32_t max) {
SANDBOX_ASSERT(min < max);
uint32_t prev = min - 1;
for (uint32_t sysnum : SyscallSet::All()) {
if (sysnum >= min && sysnum <= max) {
SANDBOX_ASSERT(prev == sysnum - 1);
prev = sysnum;
}
}
SANDBOX_ASSERT(prev == max);
}
SANDBOX_TEST(SyscallSet, ValidSyscallRanges) {
AssertRange(MIN_SYSCALL, MAX_PUBLIC_SYSCALL);
#if defined(__arm__)
AssertRange(MIN_PRIVATE_SYSCALL, MAX_PRIVATE_SYSCALL);
AssertRange(MIN_GHOST_SYSCALL, MAX_SYSCALL);
#endif
}
SANDBOX_TEST(SyscallSet, InvalidSyscalls) {
static const auto kExpected = std::to_array<uint32_t>({
#if defined(__mips__)
0,
MIN_SYSCALL - 1,
#endif
MAX_PUBLIC_SYSCALL + 1,
#if defined(__arm__)
MIN_PRIVATE_SYSCALL - 1,
MAX_PRIVATE_SYSCALL + 1,
MIN_GHOST_SYSCALL - 1,
MAX_SYSCALL + 1,
#endif
0x7FFFFFFFu,
0x80000000u,
0xFFFFFFFFu,
});
for (const SyscallSet& set : kSyscallSets) {
size_t i = 0;
for (uint32_t sysnum : set) {
if (!SyscallSet::IsValid(sysnum)) {
SANDBOX_ASSERT(i < std::size(kExpected));
SANDBOX_ASSERT(kExpected[i] == sysnum);
++i;
}
}
SANDBOX_ASSERT(i == std::size(kExpected));
}
}
SANDBOX_TEST(SyscallSet, ValidOnlyIsOnlyValid) {
for (uint32_t sysnum : SyscallSet::ValidOnly()) {
SANDBOX_ASSERT(SyscallSet::IsValid(sysnum));
}
}
SANDBOX_TEST(SyscallSet, InvalidOnlyIsOnlyInvalid) {
for (uint32_t sysnum : SyscallSet::InvalidOnly()) {
SANDBOX_ASSERT(!SyscallSet::IsValid(sysnum));
}
}
SANDBOX_TEST(SyscallSet, AllIsValidOnlyPlusInvalidOnly) {
std::vector<uint32_t> merged;
const SyscallSet valid_only = SyscallSet::ValidOnly();
const SyscallSet invalid_only = SyscallSet::InvalidOnly();
std::merge(valid_only.begin(),
valid_only.end(),
invalid_only.begin(),
invalid_only.end(),
std::back_inserter(merged));
const SyscallSet all = SyscallSet::All();
SANDBOX_ASSERT(merged == std::vector<uint32_t>(all.begin(), all.end()));
}
} // namespace
} // namespace sandbox
|
