| /* Copyright 2021 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. |
| */ |
| // From https://svn.boost.org/trac10/ticket/12818 |
| // This fuzz target can likely be enhanced to exercise more code. |
| // The ideal place for this fuzz target is the boost repository. |
| #ifdef DEBUG |
| #include <iostream> |
| #endif |
| |
| #include <boost/regex.hpp> |
| #include <fuzzer/FuzzedDataProvider.h> |
| |
| namespace { |
| void assertPostConditions(boost::match_results<std::string::const_iterator> const& match, boost::regex const& e) |
| { |
| // See https://www.boost.org/doc/libs/1_71_0/libs/regex/doc/html/boost_regex/ref/regex_match.html |
| assert(match.size() == e.mark_count() + 1); |
| assert(!match.empty()); |
| assert(!match.prefix().matched); |
| assert(!match.suffix().matched); |
| } |
| } |
| |
| extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { |
| FuzzedDataProvider fuzzed_data(Data, Size); |
| // First value is length of the regex string |
| size_t regex_length = fuzzed_data.ConsumeIntegral<uint8_t>(); |
| // Second value is regexp string whose length is `regex_length` |
| std::string regex_string = fuzzed_data.ConsumeBytesAsString(regex_length); |
| try { |
| boost::regex e(regex_string); |
| // Last value is the text to be matched |
| std::string text = fuzzed_data.ConsumeRemainingBytesAsString(); |
| |
| #ifdef DEBUG |
| std::cout << "Regexp string: " << regex_string << "Size: " << regex_string.size() << std::endl; |
| std::cout << "Text: " << text << "Size: " << text.size() << std::endl; |
| #endif |
| |
| boost::match_results<std::string::const_iterator> what; |
| bool match = boost::regex_match(text, what, e, |
| boost::match_default | boost::match_partial); |
| if (match) |
| assertPostConditions(what, e); |
| } |
| catch (const std::runtime_error &) { |
| } |
| return 0; |
| } |