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

Side by Side Diff: mojo/system/options_validation.h

Issue 414393002: Convert verification of options structs to use the new user pointer handling (see r285350). (Closed) Base URL: svn://svn.chromium.org/chrome/trunk/src
Patch Set: temporarily disable part of OptionsValidationTest.InvalidDeath Created 6 years, 4 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 | Annotate | Revision Log
« no previous file with comments | « mojo/system/message_pipe_dispatcher.cc ('k') | mojo/system/options_validation_unittest.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2014 The Chromium Authors. All rights reserved. 1 // Copyright 2014 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 // Functions to help with verifying various |Mojo...Options| structs from the 5 // Functions to help with verifying various |Mojo...Options| structs from the
6 // (public, C) API. These are "extensible" structs, which all have |struct_size| 6 // (public, C) API. These are "extensible" structs, which all have |struct_size|
7 // as their first member. All fields (other than |struct_size|) are optional, 7 // as their first member. All fields (other than |struct_size|) are optional,
8 // but any |flags| specified must be known to the system (otherwise, an error of 8 // but any |flags| specified must be known to the system (otherwise, an error of
9 // |MOJO_RESULT_UNIMPLEMENTED| should be returned). 9 // |MOJO_RESULT_UNIMPLEMENTED| should be returned).
10 10
11 #ifndef MOJO_SYSTEM_OPTIONS_VALIDATION_H_ 11 #ifndef MOJO_SYSTEM_OPTIONS_VALIDATION_H_
12 #define MOJO_SYSTEM_OPTIONS_VALIDATION_H_ 12 #define MOJO_SYSTEM_OPTIONS_VALIDATION_H_
13 13
14 #include <stddef.h> 14 #include <stddef.h>
15 #include <stdint.h> 15 #include <stdint.h>
16 16
17 #include <algorithm>
18
19 #include "base/logging.h"
17 #include "base/macros.h" 20 #include "base/macros.h"
18 #include "mojo/public/c/system/types.h" 21 #include "mojo/public/c/system/types.h"
22 #include "mojo/system/constants.h"
19 #include "mojo/system/memory.h" 23 #include "mojo/system/memory.h"
20 #include "mojo/system/system_impl_export.h" 24 #include "mojo/system/system_impl_export.h"
21 25
22 namespace mojo { 26 namespace mojo {
23 namespace system { 27 namespace system {
24 28
25 // Checks that |buffer| appears to contain a valid Options struct, namely
26 // properly aligned and with a |struct_size| field (which must the first field
27 // of the struct and be a |uint32_t|) containing a plausible size.
28 template <class Options> 29 template <class Options>
29 bool IsOptionsStructPointerAndSizeValid(const void* buffer) { 30 class UserOptionsReader {
30 COMPILE_ASSERT(offsetof(Options, struct_size) == 0, 31 public:
31 Options_struct_size_not_first_member); 32 // Constructor from a |UserPointer<const Options>| (which it checks -- this
32 // TODO(vtl): With C++11, use |sizeof(Options::struct_size)| instead. 33 // constructor has side effects!).
33 COMPILE_ASSERT(sizeof(static_cast<const Options*>(buffer)->struct_size) == 34 // Note: We initialize |options_reader_| without checking, since we do a check
34 sizeof(uint32_t), 35 // in |GetSizeForReader()|.
35 Options_struct_size_not_32_bits); 36 explicit UserOptionsReader(UserPointer<const Options> options)
36 37 : options_reader_(UserPointer<const char>::Reader::NoCheck(),
37 // Note: Use |MOJO_ALIGNOF()| here to match the exact macro used in the 38 options.template ReinterpretCast<const char>(),
38 // declaration of Options structs. 39 GetSizeForReader(options)) {
39 if (!internal::VerifyUserPointerHelper<sizeof(uint32_t), 40 COMPILE_ASSERT(offsetof(Options, struct_size) == 0,
40 MOJO_ALIGNOF(Options)>(buffer)) 41 Options_struct_size_not_first_member);
41 return false; 42 // TODO(vtl): With C++11, compile-assert that |sizeof(Options::struct_size)
42 43 // == sizeof(uint32_t)| somewhere.
43 return static_cast<const Options*>(buffer)->struct_size >= sizeof(uint32_t);
44 }
45
46 // Checks that the Options struct in |buffer| has a member with the given offset
47 // and size. This may be called only if |IsOptionsStructPointerAndSizeValid()|
48 // returned true.
49 //
50 // You may want to use the macro |HAS_OPTIONS_STRUCT_MEMBER()| instead.
51 template <class Options, size_t offset, size_t size>
52 bool HasOptionsStructMember(const void* buffer) {
53 // We assume that |offset| and |size| are reasonable, since they should come
54 // from |offsetof(Options, some_member)| and |sizeof(Options::some_member)|,
55 // respectively.
56 return static_cast<const Options*>(buffer)->struct_size >=
57 offset + size;
58 }
59
60 // Macro to invoke |HasOptionsStructMember()| parametrized by member name
61 // instead of offset and size.
62 //
63 // (We can't just give |HasOptionsStructMember()| a member pointer template
64 // argument instead, since there's no good/strictly-correct way to get an offset
65 // from that.)
66 //
67 // TODO(vtl): With C++11, use |sizeof(Options::member)| instead.
68 #define HAS_OPTIONS_STRUCT_MEMBER(Options, member, buffer) \
69 (HasOptionsStructMember< \
70 Options, \
71 offsetof(Options, member), \
72 sizeof(static_cast<const Options*>(buffer)->member)>(buffer))
73
74 // Checks that the (standard) |flags| member consists of only known flags. This
75 // should only be called if |HAS_OPTIONS_STRUCT_MEMBER()| returned true for the
76 // |flags| field.
77 //
78 // The rationale for *not* ignoring these flags is that the caller should have a
79 // way of specifying that certain options not be ignored. E.g., one may have a
80 // |MOJO_..._OPTIONS_FLAG_DONT_IGNORE_FOO| flag and a |foo| member; if the flag
81 // is set, it will guarantee that the version of the system knows about the
82 // |foo| member (and won't ignore it).
83 template <class Options>
84 bool AreOptionsFlagsAllKnown(const void* buffer, uint32_t known_flags) {
85 return (static_cast<const Options*>(buffer)->flags & ~known_flags) == 0;
86 }
87
88 // Does basic cursory checks on |in_options| (|struct_size| and |flags|; |flags|
89 // must immediately follow |struct_size|); |in_options| must be non-null. The
90 // following should be done before calling this:
91 // - Set |out_options| to the default options.
92 // - If |in_options| is null, don't continue (success).
93 // This function then:
94 // - Checks if (according to |IsOptionsStructPointerAndSizeValid()|),
95 // |struct_size| is valid; if not returns |MOJO_RESULT_INVALID_ARGUMENT|.
96 // - If |in_options| has a |flags| field, checks that it only has
97 // |known_flags| set; if so copies it to |out_options->flags|, and if not
98 // returns |MOJO_RESULT_UNIMPLEMENTED|.
99 // - At this point, returns |MOJO_RESULT_OK|.
100 template <class Options>
101 MojoResult ValidateOptionsStructPointerSizeAndFlags(
102 const Options* in_options,
103 uint32_t known_flags,
104 Options* out_options) {
105 COMPILE_ASSERT(offsetof(Options, flags) == sizeof(uint32_t),
106 Options_flags_doesnt_immediately_follow_struct_size);
107
108 if (!IsOptionsStructPointerAndSizeValid<Options>(in_options))
109 return MOJO_RESULT_INVALID_ARGUMENT;
110
111 if (HAS_OPTIONS_STRUCT_MEMBER(Options, flags, in_options)) {
112 if (!AreOptionsFlagsAllKnown<Options>(in_options, known_flags))
113 return MOJO_RESULT_UNIMPLEMENTED;
114 out_options->flags = in_options->flags;
115 } 44 }
116 45
117 return MOJO_RESULT_OK; 46 bool is_valid() const {
118 } 47 return !!options_reader_.GetPointer();
48 }
49
50 const Options& options() const {
51 DCHECK(is_valid());
52 return *reinterpret_cast<const Options*>(options_reader_.GetPointer());
53 }
54
55 // Checks that the given (variable-size) |options| passed to the constructor
56 // (plausibly) has a member at the given offset with the given size. You
57 // probably want to use |OPTIONS_STRUCT_HAS_MEMBER()| instead.
58 bool HasMember(size_t offset, size_t size) const {
59 DCHECK(is_valid());
60 // We assume that |offset| and |size| are reasonable, since they should come
61 // from |offsetof(Options, some_member)| and |sizeof(Options::some_member)|,
62 // respectively.
63 return options().struct_size >= offset + size;
64 }
65
66 private:
67 static inline size_t GetSizeForReader(UserPointer<const Options> options) {
68 uint32_t struct_size =
69 options.template ReinterpretCast<const uint32_t>().Get();
70 if (struct_size < sizeof(uint32_t))
71 return 0;
72
73 // Check the full requested size.
74 // Note: Use |MOJO_ALIGNOF()| here to match the exact macro used in the
75 // declaration of Options structs.
76 internal::CheckUserPointerWithSize<MOJO_ALIGNOF(Options)>(options.pointer_,
77 struct_size);
78 options.template ReinterpretCast<const char>().CheckArray(struct_size);
79 // But we'll never look at more than |sizeof(Options)| bytes.
80 return std::min(static_cast<size_t>(struct_size), sizeof(Options));
81 }
82
83 UserPointer<const char>::Reader options_reader_;
84
85 DISALLOW_COPY_AND_ASSIGN(UserOptionsReader);
86 };
87
88 // Macro to invoke |UserOptionsReader<Options>::HasMember()| parametrized by
89 // member name instead of offset and size.
90 //
91 // (We can't just give |HasMember()| a member pointer template argument instead,
92 // since there's no good/strictly-correct way to get an offset from that.)
93 //
94 // TODO(vtl): With C++11, use |sizeof(Options::member)| instead of (the
95 // contortion below). We might also be able to pull out the type |Options| from
96 // |reader| (using |decltype|) instead of requiring a parameter.
97 #define OPTIONS_STRUCT_HAS_MEMBER(Options, member, reader) \
98 reader.HasMember(offsetof(Options, member), sizeof(reader.options().member))
119 99
120 } // namespace system 100 } // namespace system
121 } // namespace mojo 101 } // namespace mojo
122 102
123 #endif // MOJO_SYSTEM_OPTIONS_VALIDATION_H_ 103 #endif // MOJO_SYSTEM_OPTIONS_VALIDATION_H_
OLDNEW
« no previous file with comments | « mojo/system/message_pipe_dispatcher.cc ('k') | mojo/system/options_validation_unittest.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698