mirror of
https://github.com/boostorg/regex.git
synced 2025-06-25 11:51:35 +02:00
0cbaa4ef17
* add failing test case * fix issue #232 Credit to OSS-Fuzz for finding the problematic test regexes and configurations.
72 lines
2.4 KiB
C++
72 lines
2.4 KiB
C++
#include <boost/core/lightweight_test.hpp>
|
|
|
|
#include <boost/regex.hpp>
|
|
#include <cstddef>
|
|
#include <vector>
|
|
|
|
template<std::size_t N0, std::size_t N = N0 - 1>
|
|
void tester( char const (&str)[ N0 ] )
|
|
{
|
|
std::vector<char> s(N, '\0');
|
|
std::memcpy(s.data(), str, N);
|
|
boost::regex rx(s.begin(), s.end());
|
|
|
|
std::vector<std::string> wheres;
|
|
wheres.push_back(std::string(15, 'H'));
|
|
wheres.push_back("");
|
|
wheres.push_back(" ");
|
|
|
|
// Perl-style matching
|
|
for (auto const& where : wheres) {
|
|
boost::match_results<std::string::const_iterator> what;
|
|
bool match = boost::regex_match(where, what, rx, boost::match_default | boost::match_partial | boost::match_any | boost::match_perl);
|
|
(void) match;
|
|
}
|
|
|
|
// POSIX-style matching
|
|
for (auto const& where : wheres) {
|
|
try {
|
|
boost::match_results<std::string::const_iterator> what;
|
|
bool match = boost::regex_match(where, what, rx, boost::match_default | boost::match_partial | boost::match_any | boost::match_posix);
|
|
(void) match;
|
|
} catch(...) {}
|
|
}
|
|
|
|
}
|
|
|
|
int main()
|
|
{
|
|
// test strings derived from fuzzing
|
|
// we keep a simple human-readable version
|
|
char const str1[] = "(Y(*COMMIT)|\\K\\D|.)+";
|
|
char const str2[] = "(Y(*COMMIT){||\\K\\D|||||||||\\K|||ss|||||.|\232*(?(50)\027\0204657|H)\020}\031\000.* 6.'?-i)+[L??.\000\000\000\004\000\000\000\000?..<[\000\024R]*+";
|
|
char const str3[] = "(Y(*COMMIT)\xFF\x80|\\L\\K||||||||||.|||||\x84|||||\x00\x00\x10||||||.* .'?-i)[L??...-i)[L??...[\x00\x14R]*+";
|
|
char const str4[] = "(Y(*COMMIT)\x96||.* .* .\\K|||\x9F||||\x9C|.|||||\x84\x99|||\x01\x00\x00\x00|||'?-i#PL\x00\x01.\x86??OMMIT)?...[\x00\x14R]*+";
|
|
|
|
tester(str1);
|
|
tester(str2);
|
|
tester(str3);
|
|
tester(str4);
|
|
|
|
// prove that we catch certain impossible scenarios
|
|
|
|
{
|
|
char const* str = "abcd";
|
|
boost::regex rx(str);
|
|
boost::match_results<std::string::const_iterator> what;
|
|
std::string where(15, 'H');
|
|
BOOST_TEST_THROWS(boost::regex_match(where, rx, boost::match_posix | boost::match_perl), std::logic_error);
|
|
}
|
|
|
|
{
|
|
char const* str = "ab(*COMMIT)cd";
|
|
boost::regex rx(str);
|
|
boost::match_results<std::string::const_iterator> what;
|
|
std::string where(15, 'H');
|
|
BOOST_TEST_THROWS(boost::regex_match(where, rx, boost::match_posix), std::logic_error);
|
|
}
|
|
|
|
return boost::report_errors();
|
|
}
|
|
|