-
Notifications
You must be signed in to change notification settings - Fork 275
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Added dgfuzz_8d1cc7 with new edge alignment approach
- Loading branch information
1 parent
3eb1a47
commit 74a35d0
Showing
4 changed files
with
269 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,86 @@ | ||
# 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. | ||
|
||
ARG parent_image | ||
FROM $parent_image | ||
|
||
# Uninstall old Rust & Install the latest one. | ||
RUN if which rustup; then rustup self uninstall -y; fi && \ | ||
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs > /rustup.sh && \ | ||
sh /rustup.sh -y && \ | ||
/root/.cargo/bin/rustup toolchain install nightly && \ | ||
rm /rustup.sh | ||
|
||
RUN apt-get update && \ | ||
apt-get install -y \ | ||
build-essential \ | ||
cargo && \ | ||
apt-get install -y wget libstdc++5 libtool-bin automake flex bison \ | ||
libglib2.0-dev libpixman-1-dev python3-setuptools unzip \ | ||
apt-utils apt-transport-https ca-certificates joe curl && \ | ||
PATH="/root/.cargo/bin/:$PATH" cargo install cargo-make | ||
|
||
|
||
# Download DGFuzz. | ||
RUN git clone https://github.com/DanBlackwell/DGFuzz /dgfuzz | ||
|
||
# Checkout a current commit | ||
RUN cd /dgfuzz && git pull && git checkout 8d1cc7e0d8c74f76b537785965d8391e27d55a02 || true | ||
|
||
# apply a patch (local testing only) | ||
# COPY ./patch /dgfuzz/patch | ||
# RUN cd /dgfuzz && git apply ./patch | ||
|
||
# Compile DGFuzz. | ||
RUN cd /dgfuzz && \ | ||
unset CFLAGS CXXFLAGS && \ | ||
export CC=clang AFL_NO_X86 && \ | ||
cd ./fuzzers/fuzzbench_dataflow_guided && \ | ||
PATH="/root/.cargo/bin/:$PATH" cargo +nightly build --profile release-fuzzbench --features no_link_main | ||
|
||
# Auxiliary weak references. | ||
RUN cd /dgfuzz/fuzzers/fuzzbench_dataflow_guided && \ | ||
clang -c stub_rt.c && \ | ||
ar r /stub_rt.a stub_rt.o | ||
|
||
# install AFL++ dependencies | ||
RUN apt-get update && \ | ||
apt-get install -y \ | ||
build-essential \ | ||
python3-dev \ | ||
python3-setuptools \ | ||
automake \ | ||
cmake \ | ||
git \ | ||
flex \ | ||
bison \ | ||
libglib2.0-dev \ | ||
libpixman-1-dev \ | ||
cargo \ | ||
libgtk-3-dev \ | ||
# for QEMU mode | ||
ninja-build \ | ||
gcc-$(gcc --version|head -n1|sed 's/\..*//'|sed 's/.* //')-plugin-dev \ | ||
libstdc++-$(gcc --version|head -n1|sed 's/\..*//'|sed 's/.* //')-dev | ||
|
||
# compile afl-clang-dgfuzz | ||
RUN cd /dgfuzz/fuzzers/fuzzbench_dataflow_guided/afl-cc && \ | ||
unset CFLAGS CXXFLAGS && \ | ||
export CC=clang AFL_NO_X86=1 && \ | ||
PYTHON_INCLUDE=/ make && \ | ||
cd utils/aflpp_driver/ && \ | ||
PYTHON_INCLUDE=/ make && \ | ||
cp ./libAFLDriver.a / | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
# PrescientFuzz | ||
|
||
based on libafl fuzzer instance | ||
- persistent mode | ||
|
||
[builder.Dockerfile](builder.Dockerfile) | ||
[fuzzer.py](fuzzer.py) | ||
[runner.Dockerfile](runner.Dockerfile) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,150 @@ | ||
# 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. | ||
# | ||
"""Integration code for a LibAFL-based fuzzer.""" | ||
|
||
import os | ||
import sys | ||
import subprocess | ||
from pathlib import Path | ||
|
||
from fuzzers import utils | ||
|
||
|
||
def prepare_fuzz_environment(input_corpus): | ||
"""Prepare to fuzz with a LibAFL-based fuzzer.""" | ||
os.environ['ASAN_OPTIONS'] = 'abort_on_error=1:detect_leaks=0:'\ | ||
'malloc_context_size=0:symbolize=0:'\ | ||
'allocator_may_return_null=1:'\ | ||
'detect_odr_violation=0:handle_segv=0:'\ | ||
'handle_sigbus=0:handle_abort=0:'\ | ||
'handle_sigfpe=0:handle_sigill=0' | ||
os.environ['UBSAN_OPTIONS'] = 'abort_on_error=1:'\ | ||
'allocator_release_to_os_interval_ms=500:'\ | ||
'handle_abort=0:handle_segv=0:'\ | ||
'handle_sigbus=0:handle_sigfpe=0:'\ | ||
'handle_sigill=0:print_stacktrace=0:'\ | ||
'symbolize=0:symbolize_inline_frames=0' | ||
# Create at least one non-empty seed to start. | ||
utils.create_seed_file_for_empty_corpus(input_corpus) | ||
|
||
|
||
def build_dfsan(): | ||
"""Build benchmark with dfsan.""" | ||
new_env = os.environ.copy() | ||
new_env['CC'] = ('/dgfuzz/fuzzers/fuzzbench_dataflow_guided/afl-cc/' | ||
'afl-clang-dgfuzz') | ||
new_env['CXX'] = ('/dgfuzz/fuzzers/fuzzbench_dataflow_guided/afl-cc/' | ||
'afl-clang-dgfuzz++') | ||
|
||
new_env['ASAN_OPTIONS'] = 'abort_on_error=0:allocator_may_return_null=1' | ||
new_env['UBSAN_OPTIONS'] = 'abort_on_error=0' | ||
new_env['DFSAN_OPTIONS'] = 'strict_data_dependencies=0' | ||
new_env['AFL_QUIET'] = '1' | ||
|
||
new_env['FUZZER_LIB'] = '/libAFLDriver.a' | ||
|
||
build_directory = new_env['OUT'] | ||
dfsan_build_directory = os.path.join(build_directory, 'dfsan') | ||
os.mkdir(dfsan_build_directory) | ||
new_env['OUT'] = dfsan_build_directory | ||
|
||
cfg_file = os.path.join(build_directory, 'aflpp_cfg.bin') | ||
new_env['AFL_LLVM_CFG_FILE'] = cfg_file | ||
new_env['AFL_LLVM_FIRST_BUILD'] = '1' | ||
if os.path.isfile(cfg_file): | ||
os.remove(cfg_file) | ||
Path(cfg_file).touch() | ||
|
||
mod_offsets_file = os.path.join( | ||
build_directory, 'module_cfg_offsets.txt') | ||
new_env['AFL_LLVM_MODULE_OFFSETS_FILE'] = mod_offsets_file | ||
Path(mod_offsets_file).touch() | ||
os.chmod(mod_offsets_file, 0o666) | ||
|
||
src = os.getenv('SRC') | ||
work = os.getenv('WORK') | ||
|
||
with utils.restore_directory(src), utils.restore_directory(work): | ||
# Restore SRC to its initial state so we can build again without any | ||
# trouble. For some OSS-Fuzz projects, build_benchmark cannot be run | ||
# twice in the same directory without this. | ||
utils.build_benchmark(env=new_env) | ||
|
||
fuzz_target = os.getenv('FUZZ_TARGET') | ||
exec_path = os.path.join(dfsan_build_directory, fuzz_target) | ||
new_path = os.path.join(dfsan_build_directory, fuzz_target + '_dfsan') | ||
os.rename(exec_path, new_path) | ||
|
||
|
||
def build(): | ||
"""Build benchmark.""" | ||
|
||
# first build it with DFSan enabled | ||
build_dfsan() | ||
|
||
os.environ['CC'] = ('/dgfuzz/fuzzers/fuzzbench_dataflow_guided/target/' | ||
'release-fuzzbench/libafl_cc') | ||
os.environ['CXX'] = ('/dgfuzz/fuzzers/fuzzbench_dataflow_guided/target/' | ||
'release-fuzzbench/libafl_cxx') | ||
|
||
os.environ['ASAN_OPTIONS'] = 'abort_on_error=0:allocator_may_return_null=1' | ||
os.environ['UBSAN_OPTIONS'] = 'abort_on_error=0' | ||
|
||
cflags = ['--libafl'] | ||
utils.append_flags('CFLAGS', cflags) | ||
utils.append_flags('CXXFLAGS', cflags) | ||
utils.append_flags('LDFLAGS', cflags) | ||
|
||
os.environ['FUZZER_LIB'] = '/stub_rt.a' | ||
build_directory = os.environ['OUT'] | ||
cfg_file = os.path.join(build_directory, 'libafl_cfg.bin') | ||
os.environ['AFL_LLVM_CFG_FILE'] = cfg_file | ||
if os.path.isfile(cfg_file): | ||
os.remove(cfg_file) | ||
Path(cfg_file).touch() | ||
os.environ['AFL_LLVM_MODULE_OFFSETS_FILE'] = os.path.join( | ||
build_directory, 'module_cfg_offsets.txt') | ||
utils.build_benchmark() | ||
|
||
|
||
def fuzz(input_corpus, output_corpus, target_binary): | ||
"""Run fuzzer.""" | ||
prepare_fuzz_environment(input_corpus) | ||
dictionary_path = utils.get_dictionary_path(target_binary) | ||
command = [target_binary] | ||
if dictionary_path: | ||
command += (['-x', dictionary_path]) | ||
|
||
# Add the control flow graph file | ||
build_directory = os.environ['OUT'] | ||
cfg_file = os.path.join(build_directory, 'libafl_cfg.bin') | ||
if os.path.exists(cfg_file): | ||
command += (['-c', cfg_file]) | ||
else: | ||
sys.exit(1) | ||
|
||
# get the dfsan binary | ||
dfsan_build_directory = os.path.join(build_directory, 'dfsan') | ||
fuzz_target = os.getenv('FUZZ_TARGET') | ||
dfsan_fuzz_target = os.path.join(dfsan_build_directory, | ||
fuzz_target + '_dfsan') | ||
command += (['-d', dfsan_fuzz_target]) | ||
|
||
# Add the input and output corpus | ||
command += (['-o', output_corpus, '-i', input_corpus]) | ||
fuzzer_env = os.environ.copy() | ||
fuzzer_env['LD_PRELOAD'] = '/usr/lib/x86_64-linux-gnu/libjemalloc.so.2' | ||
print(command) | ||
subprocess.check_call(command, cwd=os.environ['OUT'], env=fuzzer_env) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
# 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. | ||
|
||
FROM gcr.io/fuzzbench/base-image | ||
|
||
RUN apt install libjemalloc2 | ||
|
||
# This makes interactive docker runs painless: | ||
ENV LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/out" | ||
ENV AFL_MAP_SIZE=1310720 | ||
ENV PATH="$PATH:/out" | ||
ENV AFL_SKIP_CPUFREQ=1 | ||
ENV AFL_I_DONT_CARE_ABOUT_MISSING_CRASHES=1 | ||
ENV AFL_TESTCACHE_SIZE=2 |