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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
|
// Copyright 2019 The gVisor Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
#include "test/syscalls/linux/iptables.h"
#include <arpa/inet.h>
#include <linux/capability.h>
#include <linux/netfilter/x_tables.h>
#include <net/if.h>
#include <netinet/in.h>
#include <netinet/ip.h>
#include <netinet/ip_icmp.h>
#include <stdio.h>
#include <sys/poll.h>
#include <sys/socket.h>
#include <sys/types.h>
#include <unistd.h>
#include <algorithm>
#include "gtest/gtest.h"
#include "test/util/capability_util.h"
#include "test/util/file_descriptor.h"
#include "test/util/test_util.h"
namespace gvisor {
namespace testing {
namespace {
constexpr char kNatTablename[] = "nat";
constexpr char kErrorTarget[] = "ERROR";
constexpr size_t kEmptyStandardEntrySize =
sizeof(struct ipt_entry) + sizeof(struct ipt_standard_target);
constexpr size_t kEmptyErrorEntrySize =
sizeof(struct ipt_entry) + sizeof(struct ipt_error_target);
TEST(IPTablesBasic, CreateSocket) {
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
int sock;
ASSERT_THAT(sock = socket(AF_INET, SOCK_RAW, IPPROTO_ICMP),
SyscallSucceeds());
ASSERT_THAT(close(sock), SyscallSucceeds());
}
TEST(IPTablesBasic, FailSockoptNonRaw) {
// Even if the user has CAP_NET_RAW, they shouldn't be able to use the
// iptables sockopts with a non-raw socket.
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
int sock;
ASSERT_THAT(sock = socket(AF_INET, SOCK_DGRAM, 0), SyscallSucceeds());
struct ipt_getinfo info = {};
snprintf(info.name, XT_TABLE_MAXNAMELEN, "%s", kNatTablename);
socklen_t info_size = sizeof(info);
EXPECT_THAT(getsockopt(sock, SOL_IP, IPT_SO_GET_INFO, &info, &info_size),
SyscallFailsWithErrno(ENOPROTOOPT));
ASSERT_THAT(close(sock), SyscallSucceeds());
}
TEST(IPTablesBasic, GetInfoErrorPrecedence) {
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
int sock;
ASSERT_THAT(sock = socket(AF_INET, SOCK_DGRAM, 0), SyscallSucceeds());
// When using the wrong type of socket and a too-short optlen, we should get
// EINVAL.
struct ipt_getinfo info = {};
snprintf(info.name, XT_TABLE_MAXNAMELEN, "%s", kNatTablename);
socklen_t info_size = sizeof(info) - 1;
ASSERT_THAT(getsockopt(sock, SOL_IP, IPT_SO_GET_INFO, &info, &info_size),
SyscallFailsWithErrno(EINVAL));
}
TEST(IPTablesBasic, GetEntriesErrorPrecedence) {
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
int sock;
ASSERT_THAT(sock = socket(AF_INET, SOCK_DGRAM, 0), SyscallSucceeds());
// When using the wrong type of socket and a too-short optlen, we should get
// EINVAL.
struct ipt_get_entries entries = {};
socklen_t entries_size = sizeof(struct ipt_get_entries) - 1;
snprintf(entries.name, XT_TABLE_MAXNAMELEN, "%s", kNatTablename);
ASSERT_THAT(
getsockopt(sock, SOL_IP, IPT_SO_GET_ENTRIES, &entries, &entries_size),
SyscallFailsWithErrno(EINVAL));
}
TEST(IPTablesBasic, OriginalDstErrors) {
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
int sock;
ASSERT_THAT(sock = socket(AF_INET, SOCK_STREAM, 0), SyscallSucceeds());
// Sockets not affected by NAT should fail to find an original destination.
struct sockaddr_in addr = {};
socklen_t addr_len = sizeof(addr);
EXPECT_THAT(getsockopt(sock, SOL_IP, SO_ORIGINAL_DST, &addr, &addr_len),
SyscallFailsWithErrno(ENOTCONN));
}
// Fixture for iptables tests.
class IPTablesTest : public ::testing::Test {
protected:
// Creates a socket to be used in tests.
void SetUp() override;
// Closes the socket created by SetUp().
void TearDown() override;
// The socket via which to manipulate iptables.
int s_;
};
void IPTablesTest::SetUp() {
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
ASSERT_THAT(s_ = socket(AF_INET, SOCK_RAW, IPPROTO_ICMP), SyscallSucceeds());
}
void IPTablesTest::TearDown() {
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
EXPECT_THAT(close(s_), SyscallSucceeds());
}
// This tests the initial state of a machine with empty iptables. We don't have
// a guarantee that the iptables are empty when running in native, but we can
// test that gVisor has the same initial state that a newly-booted Linux machine
// would have.
TEST_F(IPTablesTest, InitialState) {
SKIP_IF(!IsRunningOnGvisor());
SKIP_IF(!ASSERT_NO_ERRNO_AND_VALUE(HaveCapability(CAP_NET_RAW)));
//
// Get info via sockopt.
//
struct ipt_getinfo info = {};
snprintf(info.name, XT_TABLE_MAXNAMELEN, "%s", kNatTablename);
socklen_t info_size = sizeof(info);
ASSERT_THAT(getsockopt(s_, SOL_IP, IPT_SO_GET_INFO, &info, &info_size),
SyscallSucceeds());
// The nat table supports PREROUTING, and OUTPUT.
unsigned int valid_hooks = (1 << NF_IP_PRE_ROUTING) | (1 << NF_IP_LOCAL_OUT) |
(1 << NF_IP_POST_ROUTING) | (1 << NF_IP_LOCAL_IN);
EXPECT_EQ(info.valid_hooks, valid_hooks);
// Each chain consists of an empty entry with a standard target..
EXPECT_EQ(info.hook_entry[NF_IP_PRE_ROUTING], 0);
EXPECT_EQ(info.hook_entry[NF_IP_LOCAL_IN], kEmptyStandardEntrySize);
EXPECT_EQ(info.hook_entry[NF_IP_LOCAL_OUT], kEmptyStandardEntrySize * 2);
EXPECT_EQ(info.hook_entry[NF_IP_POST_ROUTING], kEmptyStandardEntrySize * 3);
// The underflow points are the same as the entry points.
EXPECT_EQ(info.underflow[NF_IP_PRE_ROUTING], 0);
EXPECT_EQ(info.underflow[NF_IP_LOCAL_IN], kEmptyStandardEntrySize);
EXPECT_EQ(info.underflow[NF_IP_LOCAL_OUT], kEmptyStandardEntrySize * 2);
EXPECT_EQ(info.underflow[NF_IP_POST_ROUTING], kEmptyStandardEntrySize * 3);
// One entry for each chain, plus an error entry at the end.
EXPECT_EQ(info.num_entries, 5);
EXPECT_EQ(info.size, 4 * kEmptyStandardEntrySize + kEmptyErrorEntrySize);
EXPECT_EQ(strcmp(info.name, kNatTablename), 0);
//
// Use info to get entries.
//
socklen_t entries_size = sizeof(struct ipt_get_entries) + info.size;
struct ipt_get_entries* entries =
static_cast<struct ipt_get_entries*>(malloc(entries_size));
snprintf(entries->name, XT_TABLE_MAXNAMELEN, "%s", kNatTablename);
entries->size = info.size;
ASSERT_THAT(
getsockopt(s_, SOL_IP, IPT_SO_GET_ENTRIES, entries, &entries_size),
SyscallSucceeds());
// Verify the name and size.
ASSERT_EQ(info.size, entries->size);
ASSERT_EQ(strcmp(entries->name, kNatTablename), 0);
// Verify that the entrytable is 4 entries with accept targets and no matches
// followed by a single error target.
size_t entry_offset = 0;
while (entry_offset < entries->size) {
struct ipt_entry* entry = reinterpret_cast<struct ipt_entry*>(
reinterpret_cast<char*>(entries->entrytable) + entry_offset);
// ip should be zeroes.
struct ipt_ip zeroed = {};
EXPECT_EQ(memcmp(static_cast<void*>(&zeroed),
static_cast<void*>(&entry->ip), sizeof(zeroed)),
0);
// target_offset should be zero.
EXPECT_EQ(entry->target_offset, sizeof(ipt_entry));
if (entry_offset < kEmptyStandardEntrySize * 4) {
// The first 4 entries are standard targets
struct ipt_standard_target* target =
reinterpret_cast<struct ipt_standard_target*>(entry->elems);
EXPECT_EQ(entry->next_offset, kEmptyStandardEntrySize);
EXPECT_EQ(target->target.u.user.target_size, sizeof(*target));
EXPECT_EQ(strcmp(target->target.u.user.name, ""), 0);
EXPECT_EQ(target->target.u.user.revision, 0);
// This is what's returned for an accept verdict. I don't know why.
EXPECT_EQ(target->verdict, -NF_ACCEPT - 1);
} else {
// The last entry is an error target
struct ipt_error_target* target =
reinterpret_cast<struct ipt_error_target*>(entry->elems);
EXPECT_EQ(entry->next_offset, kEmptyErrorEntrySize);
EXPECT_EQ(target->target.u.user.target_size, sizeof(*target));
EXPECT_EQ(strcmp(target->target.u.user.name, kErrorTarget), 0);
EXPECT_EQ(target->target.u.user.revision, 0);
EXPECT_EQ(strcmp(target->errorname, kErrorTarget), 0);
}
entry_offset += entry->next_offset;
}
free(entries);
}
} // namespace
} // namespace testing
} // namespace gvisor
|