fuzzer_pass_copy_objects.cpp 3.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879
  1. // Copyright (c) 2019 Google LLC
  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. #include "source/fuzz/fuzzer_pass_copy_objects.h"
  15. #include "source/fuzz/fuzzer_util.h"
  16. #include "source/fuzz/protobufs/spirvfuzz_protobufs.h"
  17. #include "source/fuzz/transformation_add_synonym.h"
  18. namespace spvtools {
  19. namespace fuzz {
  20. FuzzerPassCopyObjects::FuzzerPassCopyObjects(
  21. opt::IRContext* ir_context, TransformationContext* transformation_context,
  22. FuzzerContext* fuzzer_context,
  23. protobufs::TransformationSequence* transformations)
  24. : FuzzerPass(ir_context, transformation_context, fuzzer_context,
  25. transformations) {}
  26. FuzzerPassCopyObjects::~FuzzerPassCopyObjects() = default;
  27. void FuzzerPassCopyObjects::Apply() {
  28. ForEachInstructionWithInstructionDescriptor(
  29. [this](opt::Function* function, opt::BasicBlock* block,
  30. opt::BasicBlock::iterator inst_it,
  31. const protobufs::InstructionDescriptor& instruction_descriptor)
  32. -> void {
  33. assert(inst_it->opcode() ==
  34. instruction_descriptor.target_instruction_opcode() &&
  35. "The opcode of the instruction we might insert before must be "
  36. "the same as the opcode in the descriptor for the instruction");
  37. // Check whether it is legitimate to insert a copy before this
  38. // instruction.
  39. if (!fuzzerutil::CanInsertOpcodeBeforeInstruction(SpvOpCopyObject,
  40. inst_it)) {
  41. return;
  42. }
  43. // Randomly decide whether to try inserting an object copy here.
  44. if (!GetFuzzerContext()->ChoosePercentage(
  45. GetFuzzerContext()->GetChanceOfCopyingObject())) {
  46. return;
  47. }
  48. std::vector<opt::Instruction*> relevant_instructions =
  49. FindAvailableInstructions(function, block, inst_it,
  50. fuzzerutil::CanMakeSynonymOf);
  51. // At this point, |relevant_instructions| contains all the instructions
  52. // we might think of copying.
  53. if (relevant_instructions.empty()) {
  54. return;
  55. }
  56. // Choose a copyable instruction at random, and create and apply an
  57. // object copying transformation based on it.
  58. ApplyTransformation(TransformationAddSynonym(
  59. relevant_instructions[GetFuzzerContext()->RandomIndex(
  60. relevant_instructions)]
  61. ->result_id(),
  62. protobufs::TransformationAddSynonym::COPY_OBJECT,
  63. GetFuzzerContext()->GetFreshId(), instruction_descriptor));
  64. });
  65. }
  66. } // namespace fuzz
  67. } // namespace spvtools