blob: 51b33a9ffc40936ff260a64ffc20d9197f2abbbb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
#!/usr/bin/python3
# Copyright 2020 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.
"""This fuzzer is an example of native extension fuzzing with coverage.
This requires that the fuzzer be built with coverage:
see build_install_ujson.sh.
The fuzzer should then be executed under ASAN.
As an example, this is the run command under the author's machine:
LD_PRELOAD="/usr/lib/llvm-9/lib/clang/9.0.1/lib/linux/libclang_rt.asan-x86_64.so
$(python3 -c "import atheris; print(atheris.path())")" python3
./ujson_fuzzer.py -detect_leaks=0
This fuzzer is provided mainly as an example for how to deal with native
coverage.
"""
import sys
import atheris
import ujson
def TestOneInput(input_bytes):
fdp = atheris.FuzzedDataProvider(input_bytes)
original = fdp.ConsumeUnicode(sys.maxsize)
try:
ujson_data = ujson.loads(original)
except ValueError:
return
# We make sure there's no error in encoding, but we don't actually compare
# (encoded == original) because it's not entirely preserving. For example,
# it does not preserve whitespace.
encoded = ujson.dumps(ujson_data)
del encoded
def main():
# Since everything interesting in this fuzzer is in native code, we can
# disable Python coverage to improve performance and reduce coverage noise.
atheris.Setup(sys.argv, TestOneInput, enable_python_coverage=False)
atheris.Fuzz()
if __name__ == "__main__":
main()
|
