Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(672)

Side by Side Diff: tools/clang/plugins/tests/ipc.cpp

Issue 1810243002: Check for unstable types in IPC messages. (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: Add comment Created 4 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « tools/clang/plugins/Options.h ('k') | tools/clang/plugins/tests/ipc.flags » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
1 // Copyright (c) 2016 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 // Blacklisted typedefs
6 typedef __INTMAX_TYPE__ intmax_t;
7 typedef __UINTMAX_TYPE__ uintmax_t;
8 typedef int intptr_t;
9 typedef unsigned int uintptr_t;
10 typedef __WINT_TYPE__ wint_t;
11 typedef __SIZE_TYPE__ size_t;
12 typedef __SIZE_TYPE__ rsize_t;
13 typedef long ssize_t;
14 typedef __PTRDIFF_TYPE__ ptrdiff_t;
15 typedef unsigned int dev_t;
16 typedef int off_t;
17 typedef long clock_t;
18 typedef int time_t;
19 typedef long suseconds_t;
20
21 // Other typedefs
22 typedef int int32_t;
23 typedef unsigned int uint32_t;
24 typedef long int64_t;
25 typedef unsigned long uint64_t;
26
27 namespace std {
28
29 template <class T>
30 struct allocator {};
31
32 template <class T, class A = allocator<T>>
33 struct vector {};
34
35 template <class F, class S>
36 struct pair {};
37
38 } // namespace std
39
40 namespace base {
41
42 class Pickle {};
43
44 template <class T, class... Ts>
45 struct Tuple {
46 T value;
47 };
48
49 } // namespace base
50
51 namespace IPC {
52
53 template <class... T>
54 struct CheckedTuple {
55 typedef base::Tuple<T...> Tuple;
56 };
57
58 template <class T>
59 struct ParamTraits {
60 static void Write(base::Pickle*, const T&) {}
61 };
62
63 template <class T>
64 void WriteParam(base::Pickle* pickle, const T& value) {
65 ParamTraits<T>::Write(pickle, value);
66 }
67
68 } // namespace IPC
69
70
71 /* Test IPC::WriteParam() usage in templates. ERRORS: 6 */
72
73 struct Data {
74 uint32_t value;
75 size_t size;
76 };
77
78 template <>
79 struct IPC::ParamTraits<Data> {
80 static void Write(base::Pickle* pickle, const Data& p) {
81 // OK: WriteParam() called in explicit specialization
82 WriteParam(pickle, p.value); // OK
83 WriteParam(pickle, p.size); // ERROR
84 }
85 };
86
87 template <class T>
88 struct Container {
89 T value;
90 };
91
92 template <class T>
93 struct IPC::ParamTraits<Container<T>> {
94 static void Write(base::Pickle* pickle, const Container<T>& container) {
95 // NOT CHECKED: T is not explicitly referenced
96 IPC::WriteParam(pickle, container.value); // NOT CHECKED
97 WriteParam(pickle, container.value); // NOT CHECKED
98
99 // NOT CHECKED: T explicitly referenced
100 IPC::WriteParam<T>(pickle, container.value); // NOT CHECKED
101 WriteParam<T>(pickle, container.value); // NOT CHECKED
102
103 // OK: explicit cast to non-dependent allowed type
104 WriteParam(pickle, static_cast<uint32_t>(container.value)); // OK
105
106 // ERROR: explicit cast to non-dependent banned type
107 WriteParam(pickle, static_cast<long>(container.value)); // ERROR
108 }
109 };
110
111 template <class T, class... Ts>
112 struct MultiContainer {
113 T value;
114 };
115
116 template <class T, class... Ts>
117 struct IPC::ParamTraits<MultiContainer<T, Ts...>> {
118 static void Write(base::Pickle* pickle,
119 const MultiContainer<T, Ts...>& container) {
120 // NOT CHECKED: template argument explicitly referenced
121 bool helper[] = {
122 (WriteParam<Ts>(pickle, container.value), true)... // NOT CHECKED
123 };
124 (void)helper;
125 }
126 };
127
128 template <class T>
129 struct SomeClass {
130 static void Write(base::Pickle* pickle) {
131 // NOT CHECKED: WriteParam() calls on dependent types
132 IPC::WriteParam(pickle, T(0)); // NOT CHECKED
133
134 // Non-dependent types are checked
135 IPC::WriteParam(pickle, size_t(0)); // ERROR
136 IPC::WriteParam(pickle, uint64_t(0)); // OK
137 }
138
139 template <class U>
140 static void WriteEx(base::Pickle* pickle) {
141 // NOT CHECKED: WriteParam() calls on dependent types
142 IPC::WriteParam(pickle, U(0)); // NOT CHECKED
143
144 // Non-dependent types are checked
145 IPC::WriteParam(pickle, time_t(0)); // ERROR
146 IPC::WriteParam(pickle, uint32_t(0)); // OK
147 }
148 };
149
150 template <class T>
151 void SomeWriteFunction(base::Pickle* pickle) {
152 // NOT CHECKED: WriteParam() calls on dependent types
153 IPC::WriteParam(pickle, T(0)); // NOT CHECKED
154
155 // Non-dependent types are checked
156 IPC::WriteParam(pickle, long(0)); // ERROR
157 IPC::WriteParam(pickle, char(0)); // OK
158
159 [&](){
160 IPC::WriteParam(pickle, T(0)); // NOT CHECKED
161
162 IPC::WriteParam(pickle, clock_t(0)); // ERROR
163 IPC::WriteParam(pickle, int64_t(0)); // OK
164 }();
165 }
166
167 void TestWriteParamInTemplates() {
168 // These specializations call WriteParam() on various banned types, either
169 // because they were specified directly (long) or because non-blacklisted
170 // typedef (uint64_t) was stripped down to its underlying type, which is
171 // blacklisted when used as is (unsigned long).
172 // However, since it's hard (if not impossible) to check specializations
173 // properly, we're simply not checking them.
174 SomeClass<long>::Write(nullptr);
175 SomeClass<long>::WriteEx<uint64_t>(nullptr);
176 SomeWriteFunction<uint64_t>(nullptr);
177 }
178
179
180 /* Test IPC::CheckedTuple. ERRORS: 5 */
181
182 #define IPC_TUPLE(...) IPC::CheckedTuple<__VA_ARGS__>::Tuple
183
184 #define IPC_MESSAGE_DECL(name, id, in_tuple) \
185 struct name ## Meta_ ## id { \
186 using InTuple = in_tuple; \
187 };
188
189 #define IPC_TEST_MESSAGE(id, in) \
190 IPC_MESSAGE_DECL(TestMessage, id, IPC_TUPLE in)
191
192 struct Empty {};
193
194 IPC_TEST_MESSAGE(__COUNTER__, (bool, size_t, Empty, long)) // 2 ERRORs
195
196 typedef std::vector<long> long1D;
197 typedef std::vector<long1D> long2D;
198 IPC_TEST_MESSAGE(__COUNTER__, (bool, long2D)) // ERROR
199
200 IPC_TEST_MESSAGE(__COUNTER__, (char, short, std::pair<size_t, bool>)) // ERROR
201
202 IPC_TEST_MESSAGE(__COUNTER__, (std::vector<std::vector<long&>&>&)) // ERROR
203
204
205 /* Check IPC::WriteParam() arguments. ERRORS: 30 */
206
207 // ERRORS: 21
208 void TestWriteParamArgument() {
209 #define CALL_WRITEPARAM(Type) \
210 { \
211 Type p; \
212 IPC::WriteParam(nullptr, p); \
213 }
214
215 // ERROR: blacklisted types / typedefs
216 CALL_WRITEPARAM(long) // ERROR
217 CALL_WRITEPARAM(unsigned long) // ERROR
218 CALL_WRITEPARAM(intmax_t) // ERROR
219 CALL_WRITEPARAM(uintmax_t) // ERROR
220 CALL_WRITEPARAM(intptr_t) // ERROR
221 CALL_WRITEPARAM(uintptr_t) // ERROR
222 CALL_WRITEPARAM(wint_t) // ERROR
223 CALL_WRITEPARAM(size_t) // ERROR
224 CALL_WRITEPARAM(rsize_t) // ERROR
225 CALL_WRITEPARAM(ssize_t) // ERROR
226 CALL_WRITEPARAM(ptrdiff_t) // ERROR
227 CALL_WRITEPARAM(dev_t) // ERROR
228 CALL_WRITEPARAM(off_t) // ERROR
229 CALL_WRITEPARAM(clock_t) // ERROR
230 CALL_WRITEPARAM(time_t) // ERROR
231 CALL_WRITEPARAM(suseconds_t) // ERROR
232
233 // ERROR: typedef to blacklisted typedef
234 typedef size_t my_size;
235 CALL_WRITEPARAM(my_size) // ERROR
236
237 // ERROR: expression ends up with type "unsigned long"
238 {
239 uint64_t p = 0;
240 IPC::WriteParam(nullptr, p + 1); // ERROR
241 }
242
243 // ERROR: long chain of typedefs, ends up with blacklisted typedef
244 {
245 typedef size_t my_size_base;
246 typedef const my_size_base my_size;
247 typedef my_size& my_size_ref;
248 my_size_ref p = 0;
249 IPC::WriteParam(nullptr, p); // ERROR
250 }
251
252 // ERROR: template specialization references blacklisted type
253 CALL_WRITEPARAM(std::vector<long>) // ERROR
254 CALL_WRITEPARAM(std::vector<size_t>) // ERROR
255
256 // OK: typedef to blacklisted type
257 typedef long my_long;
258 CALL_WRITEPARAM(my_long) // OK
259
260 // OK: other types / typedefs
261 CALL_WRITEPARAM(char) // OK
262 CALL_WRITEPARAM(int) // OK
263 CALL_WRITEPARAM(uint32_t) // OK
264 CALL_WRITEPARAM(int64_t) // OK
265
266 // OK: long chain of typedefs, ends up with non-blacklisted typedef
267 {
268 typedef uint32_t my_int_base;
269 typedef const my_int_base my_int;
270 typedef my_int& my_int_ref;
271 my_int_ref p = 0;
272 IPC::WriteParam(nullptr, p); // OK
273 }
274
275 // OK: template specialization references non-blacklisted type
276 CALL_WRITEPARAM(std::vector<char>) // OK
277 CALL_WRITEPARAM(std::vector<my_long>) // OK
278
279 #undef CALL_WRITEPARAM
280 }
281
282 struct Provider {
283 typedef unsigned int flags;
284
285 short get_short() const { return 0; }
286 uint64_t get_uint64() const { return 0; }
287 long get_long() const { return 0; }
288 unsigned int get_uint() const { return 0; }
289 flags get_flags() const { return 0; }
290 size_t get_size() const { return 0; }
291
292 const std::vector<size_t>& get_sizes() const { return sizes_data; }
293 const std::vector<uint64_t>& get_uint64s() const { return uint64s_data; }
294
295 template <class T>
296 T get() const { return T(); }
297
298 short short_data;
299 unsigned int uint_data;
300 flags flags_data;
301 long long_data;
302 size_t size_data;
303 uint64_t uint64_data;
304 std::vector<size_t> sizes_data;
305 std::vector<uint64_t> uint64s_data;
306 };
307
308 // ERRORS: 9
309 void TestWriteParamMemberArgument() {
310 Provider p;
311
312 IPC::WriteParam(nullptr, p.get<short>()); // OK
313 IPC::WriteParam(nullptr, p.get_short()); // OK
314 IPC::WriteParam(nullptr, p.short_data); // OK
315
316 IPC::WriteParam(nullptr, p.get<unsigned int>()); // OK
317 IPC::WriteParam(nullptr, p.get_uint()); // OK
318 IPC::WriteParam(nullptr, p.uint_data); // OK
319
320 IPC::WriteParam(nullptr, p.get<Provider::flags>()); // OK
321 IPC::WriteParam(nullptr, p.get_flags()); // OK
322 IPC::WriteParam(nullptr, p.flags_data); // OK
323
324 IPC::WriteParam(nullptr, p.get<long>()); // ERROR
325 IPC::WriteParam(nullptr, p.get_long()); // ERROR
326 IPC::WriteParam(nullptr, p.long_data); // ERROR
327
328 // This one is flaky and depends on whether size_t is typedefed to a
329 // blacklisted type (unsigned long).
330 //IPC::WriteParam(nullptr, p.get<size_t>()); // ERROR
331 IPC::WriteParam(nullptr, p.get_size()); // ERROR
332 IPC::WriteParam(nullptr, p.size_data); // ERROR
333
334 // Information about uint64_t gets lost, and plugin sees WriteParam()
335 // call on unsigned long, which is blacklisted.
336 IPC::WriteParam(nullptr, p.get<uint64_t>()); // ERROR
337 IPC::WriteParam(nullptr, p.get_uint64()); // OK
338 IPC::WriteParam(nullptr, p.uint64_data); // OK
339
340 // Same thing here, WriteParam() sees vector<unsigned long>, and denies it.
341 IPC::WriteParam(nullptr, p.get<std::vector<uint64_t>>()); // ERROR
342 IPC::WriteParam(nullptr, p.get_uint64s()); // OK
343 IPC::WriteParam(nullptr, p.uint64s_data); // OK
344
345 // This one is flaky and depends on whether size_t is typedefed to a
346 // blacklisted type (unsigned long).
347 //IPC::WriteParam(nullptr, p.get<std::vector<size_t>>());
348 IPC::WriteParam(nullptr, p.get_sizes()); // ERROR
349 IPC::WriteParam(nullptr, p.sizes_data); // ERROR
350 }
351
352
353 /* ERRORS: 41 */
OLDNEW
« no previous file with comments | « tools/clang/plugins/Options.h ('k') | tools/clang/plugins/tests/ipc.flags » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698