2020-05-29 22:56:16 +03:00
|
|
|
/*
|
|
|
|
|
__ _____ _____ _____
|
|
|
|
|
__| | __| | | | JSON for Modern C++ (fuzz test support)
|
|
|
|
|
| | |__ | | | | | | version 3.7.3
|
|
|
|
|
|_____|_____|_____|_|___| https://github.com/nlohmann/json
|
|
|
|
|
|
|
|
|
|
This file implements a parser test suitable for fuzz testing. Given a byte
|
|
|
|
|
array data, it performs the following steps:
|
|
|
|
|
|
|
|
|
|
- j1 = parse(data)
|
|
|
|
|
- s1 = serialize(j1)
|
|
|
|
|
- j2 = parse(s1)
|
|
|
|
|
- s2 = serialize(j2)
|
|
|
|
|
- assert(s1 == s2)
|
|
|
|
|
|
|
|
|
|
The provided function `LLVMFuzzerTestOneInput` can be used in different fuzzer
|
|
|
|
|
drivers.
|
|
|
|
|
|
|
|
|
|
Licensed under the MIT License <http://opensource.org/licenses/MIT>.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <iostream>
|
2020-05-30 17:02:19 +03:00
|
|
|
#include <deque>
|
|
|
|
|
#include <list>
|
|
|
|
|
#include <set>
|
|
|
|
|
#include <unordered_set>
|
2020-06-01 06:44:53 +03:00
|
|
|
#include <iterator>
|
|
|
|
|
#include <map>
|
|
|
|
|
#include <unordered_map>
|
|
|
|
|
#include <utility>
|
2020-05-29 22:56:16 +03:00
|
|
|
#include <sstream>
|
|
|
|
|
#include <nlohmann/json.hpp>
|
|
|
|
|
|
|
|
|
|
using json = nlohmann::json;
|
|
|
|
|
|
|
|
|
|
// see http://llvm.org/docs/LibFuzzer.html
|
|
|
|
|
extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size)
|
|
|
|
|
{
|
2020-06-01 06:44:53 +03:00
|
|
|
// putting data in several STL containers
|
2020-06-01 07:25:01 +03:00
|
|
|
std::vector<uint8_t> vec(data, data + size);
|
2020-05-30 17:02:19 +03:00
|
|
|
|
2020-06-01 06:44:53 +03:00
|
|
|
// parsing from STL containers
|
2020-05-30 17:02:19 +03:00
|
|
|
json j_vector(vec);
|
2020-05-29 22:56:16 +03:00
|
|
|
|
2020-06-05 20:20:40 +03:00
|
|
|
// iterating json array and testing get() method
|
|
|
|
|
for(json::iterator it = j_vector.begin(); it != j_vector.end(); ++it)
|
|
|
|
|
{
|
|
|
|
|
try
|
|
|
|
|
{
|
|
|
|
|
int temp = (*it).get<int>();
|
|
|
|
|
}
|
|
|
|
|
catch(const json::type_error)
|
|
|
|
|
{
|
|
|
|
|
// input might not be convertible to integer
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for(auto& element : j_vector)
|
|
|
|
|
{
|
|
|
|
|
// range-based iteration
|
|
|
|
|
}
|
|
|
|
|
|
2020-05-29 22:56:16 +03:00
|
|
|
return 0;
|
|
|
|
|
}
|