| // Copyright (c) 2019 Google LLC |
| // |
| // 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. |
| |
| #ifndef SOURCE_FUZZ_FUZZER_H_ |
| #define SOURCE_FUZZ_FUZZER_H_ |
| |
| #include <memory> |
| #include <vector> |
| |
| #include "source/fuzz/fuzzer_util.h" |
| #include "source/fuzz/protobufs/spirvfuzz_protobufs.h" |
| #include "spirv-tools/libspirv.hpp" |
| |
| namespace spvtools { |
| namespace fuzz { |
| |
| // Transforms a SPIR-V module into a semantically equivalent SPIR-V module by |
| // running a number of randomized fuzzer passes. |
| class Fuzzer { |
| public: |
| // Possible statuses that can result from running the fuzzer. |
| enum class FuzzerResultStatus { |
| kComplete, |
| kFailedToCreateSpirvToolsInterface, |
| kFuzzerPassLedToInvalidModule, |
| kInitialBinaryInvalid, |
| }; |
| |
| // Constructs a fuzzer from the given target environment |env|. |seed| is a |
| // seed for pseudo-random number generation. |
| // |validate_after_each_fuzzer_pass| controls whether the validator will be |
| // invoked after every fuzzer pass is applied. |
| Fuzzer(spv_target_env env, uint32_t seed, |
| bool validate_after_each_fuzzer_pass, |
| spv_validator_options validator_options); |
| |
| // Disables copy/move constructor/assignment operations. |
| Fuzzer(const Fuzzer&) = delete; |
| Fuzzer(Fuzzer&&) = delete; |
| Fuzzer& operator=(const Fuzzer&) = delete; |
| Fuzzer& operator=(Fuzzer&&) = delete; |
| |
| ~Fuzzer(); |
| |
| // Sets the message consumer to the given |consumer|. The |consumer| will be |
| // invoked once for each message communicated from the library. |
| void SetMessageConsumer(MessageConsumer consumer); |
| |
| // Transforms |binary_in| to |binary_out| by running a number of randomized |
| // fuzzer passes. Initial facts about the input binary and the context in |
| // which it will execute are provided via |initial_facts|. A source of donor |
| // modules to be used by transformations is provided via |donor_suppliers|. |
| // The transformation sequence that was applied is returned via |
| // |transformation_sequence_out|. |
| FuzzerResultStatus Run( |
| const std::vector<uint32_t>& binary_in, |
| const protobufs::FactSequence& initial_facts, |
| const std::vector<fuzzerutil::ModuleSupplier>& donor_suppliers, |
| std::vector<uint32_t>* binary_out, |
| protobufs::TransformationSequence* transformation_sequence_out) const; |
| |
| private: |
| struct Impl; // Opaque struct for holding internal data. |
| std::unique_ptr<Impl> impl_; // Unique pointer to internal data. |
| }; |
| |
| } // namespace fuzz |
| } // namespace spvtools |
| |
| #endif // SOURCE_FUZZ_FUZZER_H_ |