blob: d3a71dabf5e5aac778bb4b9a92cc86ac13fdad82 [file] [log] [blame]
Vitaly Buka00b61072016-10-19 23:22:511// Copyright 2016 Google Inc. All rights reserved.
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
Vitaly Bukaf90698f2017-03-01 23:46:5815#include "src/mutator.h"
Vitaly Buka00b61072016-10-19 23:22:5116
Vitaly Buka781853c2016-11-22 07:09:3517#include <algorithm>
Vitaly Buka0e17fd72016-11-18 18:02:4618#include <iostream>
19#include <map>
Vitaly Buka781853c2016-11-22 07:09:3520#include <random>
Vitaly Buka0e17fd72016-11-18 18:02:4621#include <string>
Vitaly Buka00b61072016-10-19 23:22:5122
Vitaly Buka9dd2f8e2017-01-13 08:48:3123#include "src/field_instance.h"
24#include "src/weighted_reservoir_sampler.h"
Vitaly Buka00b61072016-10-19 23:22:5125
Vitaly Bukaf86815c2017-02-27 22:19:1926namespace protobuf_mutator {
27
Vitaly Buka6c6dbbe2017-02-22 21:58:2428using protobuf::Descriptor;
29using protobuf::EnumDescriptor;
30using protobuf::EnumValueDescriptor;
31using protobuf::FieldDescriptor;
Vitaly Buka796b1122017-03-03 22:42:0232using protobuf::FileDescriptor;
Vitaly Buka6c6dbbe2017-02-22 21:58:2433using protobuf::Message;
34using protobuf::OneofDescriptor;
35using protobuf::Reflection;
Vitaly Buka4782c142017-03-04 08:12:3236using protobuf::util::MessageDifferencer;
Vitaly Buka796b1122017-03-03 22:42:0237using std::placeholders::_1;
Vitaly Buka0e17fd72016-11-18 18:02:4638
39namespace {
40
Vitaly Buka72019dc2016-12-15 03:17:2441const size_t kMaxInitializeDepth = 32;
42const size_t kDeletionThreshold = 128;
43const uint64_t kMutateWeight = 1000000;
Vitaly Buka0e17fd72016-11-18 18:02:4644
45enum class Mutation {
Vitaly Buka30de3092016-11-18 19:39:0746 None,
Vitaly Buka4af611d2016-12-04 02:57:3247 Add, // Adds new field with default value.
48 Mutate, // Mutates field contents.
49 Delete, // Deletes field.
Vitaly Bukaa3e59c72016-12-07 00:53:5650 Copy, // Copy values copied from another field.
Vitaly Buka4af611d2016-12-04 02:57:3251
Vitaly Buka432b5452016-12-09 22:42:0952 // TODO(vitalybuka):
53 // Clone, // Adds new field with value copied from another field.
Vitaly Buka0e17fd72016-11-18 18:02:4654};
55
Vitaly Bukab592ff02017-03-03 22:35:5256// Return random integer from [0, count)
Vitaly Bukae79e0182017-03-02 00:02:1457size_t GetRandomIndex(Mutator::RandomEngine* random, size_t count) {
Vitaly Bukab592ff02017-03-03 22:35:5258 assert(count > 0);
59 if (count == 1) return 0;
60 return std::uniform_int_distribution<size_t>(0, count - 1)(*random);
61}
62
Vitaly Buka4af611d2016-12-04 02:57:3263// Flips random bit in the buffer.
Vitaly Bukae79e0182017-03-02 00:02:1464void FlipBit(size_t size, uint8_t* bytes, Mutator::RandomEngine* random) {
Vitaly Bukab592ff02017-03-03 22:35:5265 size_t bit = GetRandomIndex(random, size * 8);
Vitaly Buka4af611d2016-12-04 02:57:3266 bytes[bit / 8] ^= (1u << (bit % 8));
67}
Vitaly Buka781853c2016-11-22 07:09:3568
Vitaly Buka4af611d2016-12-04 02:57:3269// Flips random bit in the value.
70template <class T>
Vitaly Bukae79e0182017-03-02 00:02:1471T FlipBit(T value, Mutator::RandomEngine* random) {
Vitaly Buka4af611d2016-12-04 02:57:3272 FlipBit(sizeof(value), reinterpret_cast<uint8_t*>(&value), random);
73 return value;
74}
Vitaly Buka781853c2016-11-22 07:09:3575
Vitaly Bukabeb90802017-02-28 23:28:1076// Return true with probability about 1-of-n.
Vitaly Bukae79e0182017-03-02 00:02:1477bool GetRandomBool(Mutator::RandomEngine* random, size_t n = 2) {
Vitaly Bukabeb90802017-02-28 23:28:1078 return GetRandomIndex(random, n) == 0;
79}
80
Vitaly Buka28ca0ee2017-03-05 05:35:4281bool IsProto3SimpleField(const FieldDescriptor& field) {
82 assert(field.file()->syntax() == FileDescriptor::SYNTAX_PROTO3 ||
83 field.file()->syntax() == FileDescriptor::SYNTAX_PROTO2);
84 return field.file()->syntax() == FileDescriptor::SYNTAX_PROTO3 &&
85 field.cpp_type() != FieldDescriptor::CPPTYPE_MESSAGE &&
86 !field.containing_oneof() && !field.is_repeated();
87}
88
Vitaly Bukad4ab1e72017-03-04 07:51:1989struct CreateDefaultField : public FieldFunction<CreateDefaultField> {
Vitaly Buka91ad7b02016-12-12 23:41:4190 template <class T>
Vitaly Bukad4ab1e72017-03-04 07:51:1991 void ForType(const FieldInstance& field) const {
Vitaly Buka91ad7b02016-12-12 23:41:4192 T value;
93 field.GetDefault(&value);
94 field.Create(value);
Vitaly Bukabec52222016-12-09 22:29:3295 }
Vitaly Buka91ad7b02016-12-12 23:41:4196};
Vitaly Bukabec52222016-12-09 22:29:3297
Vitaly Bukad4ab1e72017-03-04 07:51:1998struct DeleteField : public FieldFunction<DeleteField> {
Vitaly Buka91ad7b02016-12-12 23:41:4199 template <class T>
Vitaly Bukad4ab1e72017-03-04 07:51:19100 void ForType(const FieldInstance& field) const {
Vitaly Buka91ad7b02016-12-12 23:41:41101 field.Delete();
Vitaly Bukabec52222016-12-09 22:29:32102 }
Vitaly Bukabec52222016-12-09 22:29:32103};
104
Vitaly Bukad4ab1e72017-03-04 07:51:19105struct CopyField : public FieldFunction<CopyField> {
Vitaly Bukaa3e59c72016-12-07 00:53:56106 template <class T>
Vitaly Bukad4ab1e72017-03-04 07:51:19107 void ForType(const ConstFieldInstance& source,
108 const FieldInstance& field) const {
Vitaly Bukaa3e59c72016-12-07 00:53:56109 T value;
110 source.Load(&value);
111 field.Store(value);
112 }
Vitaly Bukaa3e59c72016-12-07 00:53:56113};
114
Vitaly Bukad4ab1e72017-03-04 07:51:19115struct AppendField : public FieldFunction<AppendField> {
Vitaly Bukaadfc27c2017-02-27 06:36:36116 template <class T>
Vitaly Bukad4ab1e72017-03-04 07:51:19117 void ForType(const ConstFieldInstance& source,
118 const FieldInstance& field) const {
Vitaly Bukaadfc27c2017-02-27 06:36:36119 T value;
120 source.Load(&value);
121 field.Create(value);
122 }
Vitaly Bukaadfc27c2017-02-27 06:36:36123};
124
Vitaly Buka4782c142017-03-04 08:12:32125class IsEqualValueField : public FieldFunction<IsEqualValueField, bool> {
126 public:
127 template <class T>
128 bool ForType(const ConstFieldInstance& a, const ConstFieldInstance& b) const {
129 T aa;
130 a.Load(&aa);
131 T bb;
132 b.Load(&bb);
133 return IsEqual(aa, bb);
134 }
135
136 private:
137 bool IsEqual(const ConstFieldInstance::Enum& a,
138 const ConstFieldInstance::Enum& b) const {
139 assert(a.count == b.count);
140 return a.index == b.index;
141 }
142
143 bool IsEqual(const std::unique_ptr<protobuf::Message>& a,
144 const std::unique_ptr<protobuf::Message>& b) const {
145 return MessageDifferencer::Equals(*a, *b);
146 }
147
148 template <class T>
149 bool IsEqual(const T& a, const T& b) const {
150 return a == b;
151 }
152};
153
Vitaly Buka4af611d2016-12-04 02:57:32154// Selects random field and mutation from the given proto message.
Vitaly Buka781853c2016-11-22 07:09:35155class MutationSampler {
Vitaly Bukac9d22482016-11-21 21:29:17156 public:
Vitaly Buka72019dc2016-12-15 03:17:24157 MutationSampler(bool keep_initialized, size_t size_increase_hint,
Vitaly Bukae79e0182017-03-02 00:02:14158 Mutator::RandomEngine* random, Message* message)
Vitaly Buka4af611d2016-12-04 02:57:32159 : keep_initialized_(keep_initialized), random_(random), sampler_(random) {
Vitaly Buka72019dc2016-12-15 03:17:24160 if (size_increase_hint < kDeletionThreshold) {
Vitaly Buka4af611d2016-12-04 02:57:32161 // Avoid adding new field and prefer deleting fields if we getting close
162 // to the limit.
Vitaly Buka72019dc2016-12-15 03:17:24163 float adjustment = 0.5 * size_increase_hint / kDeletionThreshold;
164 add_weight_ *= adjustment;
165 delete_weight_ *= 1 - adjustment;
Vitaly Buka781853c2016-11-22 07:09:35166 }
167 Sample(message);
Vitaly Buka142e08b2017-03-06 00:26:15168 assert(mutation() != Mutation::None || !size_increase_hint);
Vitaly Bukac9d22482016-11-21 21:29:17169 }
170
Vitaly Buka4af611d2016-12-04 02:57:32171 // Returns selected field.
Vitaly Bukabec52222016-12-09 22:29:32172 const FieldInstance& field() const { return sampler_.selected().field; }
Vitaly Buka4af611d2016-12-04 02:57:32173
174 // Returns selected mutation.
Vitaly Buka432b5452016-12-09 22:42:09175 Mutation mutation() const { return sampler_.selected().mutation; }
Vitaly Buka4af611d2016-12-04 02:57:32176
177 private:
Vitaly Buka781853c2016-11-22 07:09:35178 void Sample(Message* message) {
179 const Descriptor* descriptor = message->GetDescriptor();
180 const Reflection* reflection = message->GetReflection();
181
182 int field_count = descriptor->field_count();
183 for (int i = 0; i < field_count; ++i) {
184 const FieldDescriptor* field = descriptor->field(i);
185 if (const OneofDescriptor* oneof = field->containing_oneof()) {
186 // Handle entire oneof group on the first field.
187 if (field->index_in_oneof() == 0) {
Vitaly Buka2f660a52017-03-04 03:46:14188 assert(oneof->field_count());
189 const FieldDescriptor* current_field =
190 reflection->GetOneofFieldDescriptor(*message, oneof);
191 for (;;) {
192 const FieldDescriptor* add_field =
193 oneof->field(GetRandomIndex(random_, oneof->field_count()));
194 if (add_field != current_field) {
195 sampler_.Try(add_weight_, {{message, add_field}, Mutation::Add});
196 break;
197 }
198 if (oneof->field_count() < 2) break;
199 }
200 if (current_field) {
Vitaly Buka28ca0ee2017-03-05 05:35:42201 if (current_field->cpp_type() != FieldDescriptor::CPPTYPE_MESSAGE) {
Vitaly Buka2f660a52017-03-04 03:46:14202 sampler_.Try(kMutateWeight,
203 {{message, current_field}, Mutation::Mutate});
Vitaly Buka28ca0ee2017-03-05 05:35:42204 }
Vitaly Buka2f660a52017-03-04 03:46:14205 sampler_.Try(delete_weight_,
206 {{message, current_field}, Mutation::Delete});
Vitaly Buka72019dc2016-12-15 03:17:24207 sampler_.Try(GetCopyWeight(field),
Vitaly Buka2f660a52017-03-04 03:46:14208 {{message, current_field}, Mutation::Copy});
Vitaly Buka781853c2016-11-22 07:09:35209 }
210 }
211 } else {
212 if (field->is_repeated()) {
Vitaly Bukabec52222016-12-09 22:29:32213 int field_size = reflection->FieldSize(*message, field);
214 sampler_.Try(add_weight_, {{message, field,
215 GetRandomIndex(random_, field_size + 1)},
216 Mutation::Add});
Vitaly Buka781853c2016-11-22 07:09:35217
Vitaly Bukabec52222016-12-09 22:29:32218 if (field_size) {
219 size_t random_index = GetRandomIndex(random_, field_size);
Vitaly Buka28ca0ee2017-03-05 05:35:42220 if (field->cpp_type() != FieldDescriptor::CPPTYPE_MESSAGE) {
Vitaly Bukabec52222016-12-09 22:29:32221 sampler_.Try(kMutateWeight,
222 {{message, field, random_index}, Mutation::Mutate});
Vitaly Buka28ca0ee2017-03-05 05:35:42223 }
Vitaly Bukabec52222016-12-09 22:29:32224 sampler_.Try(delete_weight_,
225 {{message, field, random_index}, Mutation::Delete});
Vitaly Buka72019dc2016-12-15 03:17:24226 sampler_.Try(GetCopyWeight(field),
Vitaly Bukaa3e59c72016-12-07 00:53:56227 {{message, field, random_index}, Mutation::Copy});
Vitaly Buka781853c2016-11-22 07:09:35228 }
229 } else {
Vitaly Buka28ca0ee2017-03-05 05:35:42230 if (reflection->HasField(*message, field) ||
231 IsProto3SimpleField(*field)) {
Vitaly Buka4af611d2016-12-04 02:57:32232 if (field->cpp_type() != FieldDescriptor::CPPTYPE_MESSAGE)
Vitaly Bukabec52222016-12-09 22:29:32233 sampler_.Try(kMutateWeight, {{message, field}, Mutation::Mutate});
Vitaly Buka28ca0ee2017-03-05 05:35:42234 if (!IsProto3SimpleField(*field) &&
235 (!field->is_required() || !keep_initialized_)) {
Vitaly Bukabec52222016-12-09 22:29:32236 sampler_.Try(delete_weight_,
237 {{message, field}, Mutation::Delete});
Vitaly Buka28ca0ee2017-03-05 05:35:42238 }
Vitaly Buka72019dc2016-12-15 03:17:24239 sampler_.Try(GetCopyWeight(field),
240 {{message, field}, Mutation::Copy});
Vitaly Buka781853c2016-11-22 07:09:35241 } else {
Vitaly Bukabec52222016-12-09 22:29:32242 sampler_.Try(add_weight_, {{message, field}, Mutation::Add});
Vitaly Buka781853c2016-11-22 07:09:35243 }
244 }
245 }
246
247 if (field->cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE) {
248 if (field->is_repeated()) {
249 const int field_size = reflection->FieldSize(*message, field);
250 for (int j = 0; j < field_size; ++j)
251 Sample(reflection->MutableRepeatedMessage(message, field, j));
252 } else if (reflection->HasField(*message, field)) {
253 Sample(reflection->MutableMessage(message, field));
254 }
255 }
256 }
257 }
258
Vitaly Buka72019dc2016-12-15 03:17:24259 uint64_t GetCopyWeight(const FieldDescriptor* field) const {
260 // Coping sub-messages can increase size significantly.
261 return field->cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE
262 ? add_weight_
263 : kMutateWeight;
264 }
265
Vitaly Buka781853c2016-11-22 07:09:35266 bool keep_initialized_ = false;
Vitaly Buka4af611d2016-12-04 02:57:32267
268 // Adding and deleting are intrusive and expensive mutations, we'd like to do
Vitaly Buka432b5452016-12-09 22:42:09269 // them less often than field mutations.
Vitaly Buka781853c2016-11-22 07:09:35270 uint64_t add_weight_ = kMutateWeight / 10;
271 uint64_t delete_weight_ = kMutateWeight / 10;
Vitaly Buka781853c2016-11-22 07:09:35272
Vitaly Bukae79e0182017-03-02 00:02:14273 Mutator::RandomEngine* random_;
Vitaly Buka4af611d2016-12-04 02:57:32274
275 struct Result {
Vitaly Buka91ad7b02016-12-12 23:41:41276 Result() = default;
Vitaly Bukabec52222016-12-09 22:29:32277 Result(const FieldInstance& f, Mutation m) : field(f), mutation(m) {}
Vitaly Buka91ad7b02016-12-12 23:41:41278
Vitaly Bukabec52222016-12-09 22:29:32279 FieldInstance field;
280 Mutation mutation = Mutation::None;
Vitaly Buka4af611d2016-12-04 02:57:32281 };
Vitaly Bukae79e0182017-03-02 00:02:14282 WeightedReservoirSampler<Result, Mutator::RandomEngine> sampler_;
Vitaly Bukac9d22482016-11-21 21:29:17283};
284
Vitaly Bukaa3e59c72016-12-07 00:53:56285// Selects random field of compatible type to use for clone mutations.
286class DataSourceSampler {
287 public:
Vitaly Buka88712862017-02-27 06:21:30288 DataSourceSampler(const ConstFieldInstance& match,
Vitaly Bukae79e0182017-03-02 00:02:14289 Mutator::RandomEngine* random, Message* message)
Vitaly Bukaa3e59c72016-12-07 00:53:56290 : match_(match), random_(random), sampler_(random) {
291 Sample(message);
292 }
293
294 // Returns selected field.
Vitaly Buka88712862017-02-27 06:21:30295 const ConstFieldInstance& field() const {
Vitaly Buka72019dc2016-12-15 03:17:24296 assert(!IsEmpty());
297 return sampler_.selected();
298 }
299
300 bool IsEmpty() const { return sampler_.IsEmpty(); }
Vitaly Bukaa3e59c72016-12-07 00:53:56301
302 private:
303 void Sample(Message* message) {
304 const Descriptor* descriptor = message->GetDescriptor();
305 const Reflection* reflection = message->GetReflection();
306
307 int field_count = descriptor->field_count();
308 for (int i = 0; i < field_count; ++i) {
309 const FieldDescriptor* field = descriptor->field(i);
310 if (field->cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE) {
311 if (field->is_repeated()) {
312 const int field_size = reflection->FieldSize(*message, field);
313 for (int j = 0; j < field_size; ++j) {
314 Sample(reflection->MutableRepeatedMessage(message, field, j));
315 }
316 } else if (reflection->HasField(*message, field)) {
317 Sample(reflection->MutableMessage(message, field));
318 }
319 }
320
321 if (field->cpp_type() != match_.cpp_type()) continue;
322 if (match_.cpp_type() == FieldDescriptor::CPPTYPE_ENUM) {
323 if (field->enum_type() != match_.enum_type()) continue;
324 } else if (match_.cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE) {
325 if (field->message_type() != match_.message_type()) continue;
326 }
327
Vitaly Bukaa3e59c72016-12-07 00:53:56328 if (field->is_repeated()) {
329 if (int field_size = reflection->FieldSize(*message, field)) {
Vitaly Buka4782c142017-03-04 08:12:32330 ConstFieldInstance source(message, field,
331 GetRandomIndex(random_, field_size));
332 if (!IsEqualValueField()(match_, source))
333 sampler_.Try(field_size, source);
Vitaly Bukaa3e59c72016-12-07 00:53:56334 }
335 } else {
336 if (reflection->HasField(*message, field)) {
Vitaly Buka4782c142017-03-04 08:12:32337 ConstFieldInstance source(message, field);
338 if (!IsEqualValueField()(match_, source)) sampler_.Try(1, source);
Vitaly Bukaa3e59c72016-12-07 00:53:56339 }
340 }
341 }
342 }
343
Vitaly Buka88712862017-02-27 06:21:30344 ConstFieldInstance match_;
Vitaly Bukae79e0182017-03-02 00:02:14345 Mutator::RandomEngine* random_;
Vitaly Bukaa3e59c72016-12-07 00:53:56346
Vitaly Bukae79e0182017-03-02 00:02:14347 WeightedReservoirSampler<ConstFieldInstance, Mutator::RandomEngine> sampler_;
Vitaly Bukaa3e59c72016-12-07 00:53:56348};
349
Vitaly Buka0e17fd72016-11-18 18:02:46350} // namespace
351
Vitaly Buka5d013202017-02-25 00:50:11352class FieldMutator {
Vitaly Buka432b5452016-12-09 22:42:09353 public:
Vitaly Bukae79e0182017-03-02 00:02:14354 FieldMutator(size_t size_increase_hint, Mutator* mutator)
Vitaly Buka5d013202017-02-25 00:50:11355 : size_increase_hint_(size_increase_hint), mutator_(mutator) {}
Vitaly Buka91ad7b02016-12-12 23:41:41356
Vitaly Buka796b1122017-03-03 22:42:02357 void Mutate(int32_t* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14358 RepeatMutate(value, std::bind(&Mutator::MutateInt32, mutator_, _1));
Vitaly Buka796b1122017-03-03 22:42:02359 }
Vitaly Buka91ad7b02016-12-12 23:41:41360
Vitaly Buka796b1122017-03-03 22:42:02361 void Mutate(int64_t* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14362 RepeatMutate(value, std::bind(&Mutator::MutateInt64, mutator_, _1));
Vitaly Buka796b1122017-03-03 22:42:02363 }
Vitaly Buka91ad7b02016-12-12 23:41:41364
365 void Mutate(uint32_t* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14366 RepeatMutate(value, std::bind(&Mutator::MutateUInt32, mutator_, _1));
Vitaly Buka91ad7b02016-12-12 23:41:41367 }
368
369 void Mutate(uint64_t* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14370 RepeatMutate(value, std::bind(&Mutator::MutateUInt64, mutator_, _1));
Vitaly Buka91ad7b02016-12-12 23:41:41371 }
372
Vitaly Buka796b1122017-03-03 22:42:02373 void Mutate(float* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14374 RepeatMutate(value, std::bind(&Mutator::MutateFloat, mutator_, _1));
Vitaly Buka796b1122017-03-03 22:42:02375 }
Vitaly Buka91ad7b02016-12-12 23:41:41376
Vitaly Buka796b1122017-03-03 22:42:02377 void Mutate(double* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14378 RepeatMutate(value, std::bind(&Mutator::MutateDouble, mutator_, _1));
Vitaly Buka796b1122017-03-03 22:42:02379 }
Vitaly Buka91ad7b02016-12-12 23:41:41380
Vitaly Buka796b1122017-03-03 22:42:02381 void Mutate(bool* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14382 RepeatMutate(value, std::bind(&Mutator::MutateBool, mutator_, _1));
Vitaly Buka796b1122017-03-03 22:42:02383 }
Vitaly Buka91ad7b02016-12-12 23:41:41384
385 void Mutate(FieldInstance::Enum* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14386 RepeatMutate(&value->index,
387 std::bind(&Mutator::MutateEnum, mutator_, _1, value->count));
Vitaly Buka91ad7b02016-12-12 23:41:41388 assert(value->index < value->count);
389 }
390
391 void Mutate(std::string* value) const {
Vitaly Bukae79e0182017-03-02 00:02:14392 RepeatMutate(value, std::bind(&Mutator::MutateString, mutator_, _1,
Vitaly Buka796b1122017-03-03 22:42:02393 size_increase_hint_));
Vitaly Buka91ad7b02016-12-12 23:41:41394 }
395
Vitaly Buka5f7dfbd2017-03-05 05:38:13396 void Mutate(std::unique_ptr<Message>*) const {}
Vitaly Buka432b5452016-12-09 22:42:09397
Vitaly Buka5d013202017-02-25 00:50:11398 private:
Vitaly Buka796b1122017-03-03 22:42:02399 template <class T, class F>
400 void RepeatMutate(T* value, F mutate) const {
401 T tmp = *value;
402 for (int i = 0; i < 10; ++i) {
403 *value = mutate(*value);
404 if (*value != tmp) return;
405 }
406 }
407
Vitaly Buka5d013202017-02-25 00:50:11408 size_t size_increase_hint_;
Vitaly Bukae79e0182017-03-02 00:02:14409 Mutator* mutator_;
Vitaly Buka432b5452016-12-09 22:42:09410};
411
Vitaly Buka5d013202017-02-25 00:50:11412namespace {
413
Vitaly Bukad4ab1e72017-03-04 07:51:19414struct MutateField : public FieldFunction<MutateField> {
Vitaly Buka5d013202017-02-25 00:50:11415 template <class T>
Vitaly Bukad4ab1e72017-03-04 07:51:19416 void ForType(const FieldInstance& field, size_t size_increase_hint,
Vitaly Bukae79e0182017-03-02 00:02:14417 Mutator* mutator) const {
Vitaly Buka5d013202017-02-25 00:50:11418 T value;
419 field.Load(&value);
Vitaly Bukad4ab1e72017-03-04 07:51:19420 FieldMutator(size_increase_hint, mutator).Mutate(&value);
Vitaly Buka5d013202017-02-25 00:50:11421 field.Store(value);
422 }
Vitaly Buka5d013202017-02-25 00:50:11423};
424
Vitaly Bukad4ab1e72017-03-04 07:51:19425struct CreateField : public FieldFunction<CreateField> {
Vitaly Buka5d013202017-02-25 00:50:11426 public:
Vitaly Buka5d013202017-02-25 00:50:11427 template <class T>
Vitaly Bukae79e0182017-03-02 00:02:14428 void ForType(const FieldInstance& field, Mutator* mutator) const {
Vitaly Buka5d013202017-02-25 00:50:11429 T value;
430 field.GetDefault(&value);
Vitaly Buka28ca0ee2017-03-05 05:35:42431 FieldMutator(0, mutator).Mutate(&value);
Vitaly Buka5d013202017-02-25 00:50:11432 field.Create(value);
433 }
Vitaly Buka5d013202017-02-25 00:50:11434};
435
436} // namespace
437
Vitaly Bukae79e0182017-03-02 00:02:14438Mutator::Mutator(uint32_t seed) : random_(seed) {}
Vitaly Buka432b5452016-12-09 22:42:09439
Vitaly Bukae79e0182017-03-02 00:02:14440void Mutator::Mutate(Message* message, size_t size_increase_hint) {
Vitaly Buka66d06c72017-03-04 09:22:34441 bool repeat;
442 do {
443 repeat = false;
444 MutationSampler mutation(keep_initialized_, size_increase_hint, &random_,
445 message);
446 switch (mutation.mutation()) {
447 case Mutation::None:
448 break;
449 case Mutation::Add:
450 if (GetRandomBool(&random_)) {
Vitaly Buka28ca0ee2017-03-05 05:35:42451 CreateField()(mutation.field(), this);
Vitaly Buka66d06c72017-03-04 09:22:34452 } else {
453 CreateDefaultField()(mutation.field());
454 }
455 break;
456 case Mutation::Mutate:
457 MutateField()(mutation.field(), size_increase_hint / 2, this);
458 break;
459 case Mutation::Delete:
Vitaly Bukad4ab1e72017-03-04 07:51:19460 DeleteField()(mutation.field());
Vitaly Bukaa3e59c72016-12-07 00:53:56461 break;
Vitaly Buka66d06c72017-03-04 09:22:34462 case Mutation::Copy: {
463 DataSourceSampler source(mutation.field(), &random_, message);
464 if (source.IsEmpty()) {
465 repeat = true;
466 break;
467 }
468 CopyField()(source.field(), mutation.field());
469 break;
Vitaly Bukaa3e59c72016-12-07 00:53:56470 }
Vitaly Buka66d06c72017-03-04 09:22:34471 default:
472 assert(false && "unexpected mutation");
Vitaly Bukaa3e59c72016-12-07 00:53:56473 }
Vitaly Buka66d06c72017-03-04 09:22:34474 } while (repeat);
Vitaly Buka0e17fd72016-11-18 18:02:46475
Vitaly Buka781853c2016-11-22 07:09:35476 if (keep_initialized_ && !message->IsInitialized()) {
477 InitializeMessage(message, kMaxInitializeDepth);
478 assert(message->IsInitialized());
Vitaly Buka0e17fd72016-11-18 18:02:46479 }
Vitaly Buka00b61072016-10-19 23:22:51480}
481
Vitaly Bukae79e0182017-03-02 00:02:14482void Mutator::CrossOver(const protobuf::Message& message1,
483 protobuf::Message* message2) {
Vitaly Buka142e08b2017-03-06 00:26:15484 // CrossOver can produce result which still equals to inputs. So we backup
485 // message2 to later comparison. message1 is already constant.
486 std::unique_ptr<protobuf::Message> message2_copy(message2->New());
487 message2_copy->CopyFrom(*message2);
488
Vitaly Bukaadfc27c2017-02-27 06:36:36489 CrossOverImpl(message1, message2);
490
491 if (keep_initialized_ && !message2->IsInitialized()) {
492 InitializeMessage(message2, kMaxInitializeDepth);
493 assert(message2->IsInitialized());
494 }
Vitaly Buka142e08b2017-03-06 00:26:15495
496 if (MessageDifferencer::Equals(*message2_copy, *message2) ||
497 MessageDifferencer::Equals(message1, *message2)) {
498 Mutate(message2, 0);
499 }
Vitaly Bukaadfc27c2017-02-27 06:36:36500}
501
Vitaly Bukae79e0182017-03-02 00:02:14502void Mutator::CrossOverImpl(const protobuf::Message& message1,
503 protobuf::Message* message2) {
Vitaly Bukaadfc27c2017-02-27 06:36:36504 const Descriptor* descriptor = message2->GetDescriptor();
505 const Reflection* reflection = message2->GetReflection();
506 assert(message1.GetDescriptor() == descriptor);
507 assert(message1.GetReflection() == reflection);
508
509 for (int i = 0; i < descriptor->field_count(); ++i) {
510 const FieldDescriptor* field = descriptor->field(i);
511
512 if (field->is_repeated()) {
513 const int field_size1 = reflection->FieldSize(message1, field);
514 int field_size2 = reflection->FieldSize(*message2, field);
515 for (int j = 0; j < field_size1; ++j) {
516 ConstFieldInstance source(&message1, field, j);
517 FieldInstance destination(message2, field, field_size2++);
Vitaly Bukad4ab1e72017-03-04 07:51:19518 AppendField()(source, destination);
Vitaly Bukaadfc27c2017-02-27 06:36:36519 }
520
521 assert(field_size2 == reflection->FieldSize(*message2, field));
522
523 // Shuffle
524 for (int j = 0; j < field_size2; ++j) {
525 if (int k = GetRandomIndex(&random_, field_size2 - j)) {
526 reflection->SwapElements(message2, field, j, j + k);
527 }
528 }
529
530 int keep = GetRandomIndex(&random_, field_size2 + 1);
531
532 if (field->cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE) {
533 int remove = field_size2 - keep;
534 // Cross some message to keep with messages to remove.
535 int cross = GetRandomIndex(&random_, std::min(keep, remove) + 1);
536 for (int j = 0; j < cross; ++j) {
537 int k = GetRandomIndex(&random_, keep);
538 int r = keep + GetRandomIndex(&random_, remove);
539 assert(k != r);
540 CrossOverImpl(reflection->GetRepeatedMessage(*message2, field, r),
541 reflection->MutableRepeatedMessage(message2, field, k));
542 }
543 }
544
545 for (int j = keep; j < field_size2; ++j)
546 reflection->RemoveLast(message2, field);
547 assert(keep == reflection->FieldSize(*message2, field));
548
549 } else if (field->cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE) {
550 if (!reflection->HasField(message1, field)) {
Vitaly Bukabeb90802017-02-28 23:28:10551 if (GetRandomBool(&random_))
Vitaly Bukad4ab1e72017-03-04 07:51:19552 DeleteField()(FieldInstance(message2, field));
Vitaly Bukaadfc27c2017-02-27 06:36:36553 } else if (!reflection->HasField(*message2, field)) {
Vitaly Bukabeb90802017-02-28 23:28:10554 if (GetRandomBool(&random_)) {
Vitaly Bukaadfc27c2017-02-27 06:36:36555 ConstFieldInstance source(&message1, field);
Vitaly Bukad4ab1e72017-03-04 07:51:19556 CopyField()(source, FieldInstance(message2, field));
Vitaly Bukaadfc27c2017-02-27 06:36:36557 }
558 } else {
559 CrossOverImpl(reflection->GetMessage(message1, field),
560 reflection->MutableMessage(message2, field));
561 }
562 } else {
Vitaly Bukabeb90802017-02-28 23:28:10563 if (GetRandomBool(&random_)) {
Vitaly Bukaadfc27c2017-02-27 06:36:36564 if (reflection->HasField(message1, field)) {
565 ConstFieldInstance source(&message1, field);
Vitaly Bukad4ab1e72017-03-04 07:51:19566 CopyField()(source, FieldInstance(message2, field));
Vitaly Bukaadfc27c2017-02-27 06:36:36567 } else {
Vitaly Bukad4ab1e72017-03-04 07:51:19568 DeleteField()(FieldInstance(message2, field));
Vitaly Bukaadfc27c2017-02-27 06:36:36569 }
570 }
571 }
572 }
573}
574
Vitaly Bukae79e0182017-03-02 00:02:14575void Mutator::InitializeMessage(Message* message, size_t max_depth) {
Vitaly Buka781853c2016-11-22 07:09:35576 assert(keep_initialized_);
Vitaly Buka432b5452016-12-09 22:42:09577 // It's pointless but possible to have infinite recursion of required
578 // messages.
579 assert(max_depth);
Vitaly Buka13245af2016-11-18 21:20:12580 const Descriptor* descriptor = message->GetDescriptor();
581 const Reflection* reflection = message->GetReflection();
Vitaly Buka13245af2016-11-18 21:20:12582 for (int i = 0; i < descriptor->field_count(); ++i) {
583 const FieldDescriptor* field = descriptor->field(i);
Vitaly Buka91ad7b02016-12-12 23:41:41584 if (field->is_required() && !reflection->HasField(*message, field))
Vitaly Bukad4ab1e72017-03-04 07:51:19585 CreateDefaultField()(FieldInstance(message, field));
Vitaly Buka13245af2016-11-18 21:20:12586
Vitaly Buka781853c2016-11-22 07:09:35587 if (max_depth > 0 &&
588 field->cpp_type() == FieldDescriptor::CPPTYPE_MESSAGE) {
Vitaly Buka2cfe02b2016-11-19 00:34:09589 if (field->is_repeated()) {
590 const int field_size = reflection->FieldSize(*message, field);
591 for (int j = 0; j < field_size; ++j) {
592 Message* nested_message =
593 reflection->MutableRepeatedMessage(message, field, j);
Vitaly Buka781853c2016-11-22 07:09:35594 if (!nested_message->IsInitialized())
595 InitializeMessage(nested_message, max_depth - 1);
Vitaly Buka2cfe02b2016-11-19 00:34:09596 }
597 } else if (reflection->HasField(*message, field)) {
598 Message* nested_message = reflection->MutableMessage(message, field);
Vitaly Buka781853c2016-11-22 07:09:35599 if (!nested_message->IsInitialized())
600 InitializeMessage(nested_message, max_depth - 1);
Vitaly Buka13245af2016-11-18 21:20:12601 }
602 }
603 }
604}
Vitaly Buka4af611d2016-12-04 02:57:32605
Vitaly Bukae79e0182017-03-02 00:02:14606int32_t Mutator::MutateInt32(int32_t value) { return FlipBit(value, &random_); }
607
608int64_t Mutator::MutateInt64(int64_t value) { return FlipBit(value, &random_); }
609
610uint32_t Mutator::MutateUInt32(uint32_t value) {
Vitaly Buka4af611d2016-12-04 02:57:32611 return FlipBit(value, &random_);
612}
613
Vitaly Bukae79e0182017-03-02 00:02:14614uint64_t Mutator::MutateUInt64(uint64_t value) {
Vitaly Buka4af611d2016-12-04 02:57:32615 return FlipBit(value, &random_);
616}
617
Vitaly Bukae79e0182017-03-02 00:02:14618float Mutator::MutateFloat(float value) { return FlipBit(value, &random_); }
Vitaly Buka4af611d2016-12-04 02:57:32619
Vitaly Bukae79e0182017-03-02 00:02:14620double Mutator::MutateDouble(double value) { return FlipBit(value, &random_); }
Vitaly Buka4af611d2016-12-04 02:57:32621
Vitaly Bukae79e0182017-03-02 00:02:14622bool Mutator::MutateBool(bool value) { return !value; }
Vitaly Buka4af611d2016-12-04 02:57:32623
Vitaly Bukae79e0182017-03-02 00:02:14624size_t Mutator::MutateEnum(size_t index, size_t item_count) {
Vitaly Bukabeb90802017-02-28 23:28:10625 return (index + 1 + GetRandomIndex(&random_, item_count - 1)) % item_count;
Vitaly Buka4af611d2016-12-04 02:57:32626}
627
Vitaly Bukae79e0182017-03-02 00:02:14628std::string Mutator::MutateString(const std::string& value,
629 size_t size_increase_hint) {
Vitaly Buka4af611d2016-12-04 02:57:32630 std::string result = value;
Vitaly Buka5d013202017-02-25 00:50:11631
Vitaly Bukabeb90802017-02-28 23:28:10632 while (!result.empty() && GetRandomBool(&random_)) {
Vitaly Buka432b5452016-12-09 22:42:09633 result.erase(GetRandomIndex(&random_, result.size()), 1);
Vitaly Buka432b5452016-12-09 22:42:09634 }
635
Vitaly Bukabeb90802017-02-28 23:28:10636 while (result.size() < size_increase_hint && GetRandomBool(&random_)) {
Vitaly Buka432b5452016-12-09 22:42:09637 size_t index = GetRandomIndex(&random_, result.size() + 1);
Vitaly Buka5d013202017-02-25 00:50:11638 result.insert(result.begin() + index, GetRandomIndex(&random_, 1 << 8));
Vitaly Buka432b5452016-12-09 22:42:09639 }
640
Vitaly Bukac020de12017-03-04 03:36:23641 if (result != value) return result;
642
643 if (result.empty()) {
644 result.push_back(GetRandomIndex(&random_, 1 << 8));
645 return result;
646 }
647
Vitaly Buka4af611d2016-12-04 02:57:32648 if (!result.empty())
649 FlipBit(result.size(), reinterpret_cast<uint8_t*>(&result[0]), &random_);
650 return result;
651}
Vitaly Buka432b5452016-12-09 22:42:09652
653} // namespace protobuf_mutator