gitextract_uw9hr437/

├── .github/
│   └── workflows/
│       ├── basic.yml
│       ├── benchmark.yml
│       ├── early_instrumentation.yml
│       ├── force_linear.yml
│       ├── no_generic_pic.yml
│       └── pdisasm.yml
├── .gitignore
├── LICENSE
├── README.md
├── benchmark/
│   ├── boringssl-2016-02-12.inline
│   ├── boringssl-2016-02-12.normal
│   ├── boringssl-2016-02-12.seed
│   ├── c-ares-CVE-2016-5180.inline
│   ├── c-ares-CVE-2016-5180.normal
│   ├── c-ares-CVE-2016-5180.seed
│   ├── freetype2-2017.inline
│   ├── freetype2-2017.normal
│   ├── freetype2-2017.seed
│   ├── guetzli-2017-3-30.inline
│   ├── guetzli-2017-3-30.normal
│   ├── guetzli-2017-3-30.seed
│   ├── harfbuzz-1.3.2.inline
│   ├── harfbuzz-1.3.2.normal
│   ├── harfbuzz-1.3.2.seed
│   ├── json-2017-02-12.inline
│   ├── json-2017-02-12.normal
│   ├── json-2017-02-12.seed
│   ├── lcms-2017-03-21.inline
│   ├── lcms-2017-03-21.normal
│   ├── lcms-2017-03-21.seed
│   ├── libarchive-2017-01-04.inline
│   ├── libarchive-2017-01-04.normal
│   ├── libarchive-2017-01-04.seed
│   ├── libjpeg-turbo-07-2017.inline
│   ├── libjpeg-turbo-07-2017.normal
│   ├── libjpeg-turbo-07-2017.seed
│   ├── libpng-1.2.56.inline
│   ├── libpng-1.2.56.normal
│   ├── libpng-1.2.56.seed
│   ├── libssh-2017-1272.inline
│   ├── libssh-2017-1272.normal
│   ├── libssh-2017-1272.seed
│   ├── libxml2-v2.9.2.inline
│   ├── libxml2-v2.9.2.normal
│   ├── libxml2-v2.9.2.seed
│   ├── llvm-libcxxabi-2017-01-27.inline
│   ├── llvm-libcxxabi-2017-01-27.normal
│   ├── llvm-libcxxabi-2017-01-27.seed
│   ├── openssl-1.0.1f.inline
│   ├── openssl-1.0.1f.normal
│   ├── openssl-1.0.1f.seed
│   ├── openssl-1.0.2d.inline
│   ├── openssl-1.0.2d.normal
│   ├── openssl-1.0.2d.seed
│   ├── openssl-1.1.0c.inline
│   ├── openssl-1.1.0c.normal
│   ├── openssl-1.1.0c.seed
│   ├── openthread-2018-02-27.inline
│   ├── openthread-2018-02-27.normal
│   ├── openthread-2018-02-27.seed
│   ├── pcre2-10.00.inline
│   ├── pcre2-10.00.normal
│   ├── pcre2-10.00.seed
│   ├── proj4-2017-08-14.inline
│   ├── proj4-2017-08-14.normal
│   ├── proj4-2017-08-14.seed
│   ├── re2-2014-12-09.inline
│   ├── re2-2014-12-09.normal
│   ├── re2-2014-12-09.seed
│   ├── runtime/
│   │   ├── server.key
│   │   └── server.pem
│   ├── sqlite-2016-11-14.inline
│   ├── sqlite-2016-11-14.normal
│   ├── sqlite-2016-11-14.seed
│   ├── vorbis-2017-12-11.inline
│   ├── vorbis-2017-12-11.normal
│   ├── vorbis-2017-12-11.seed
│   ├── woff2-2016-05-06.inline
│   ├── woff2-2016-05-06.normal
│   ├── woff2-2016-05-06.seed
│   ├── wpantund-2018-02-27.inline
│   ├── wpantund-2018-02-27.normal
│   └── wpantund-2018-02-27.seed
├── build.sh
├── clean.sh
├── docs/
│   ├── system.md
│   ├── tips.md
│   ├── todo.md
│   └── trouble.md
├── scripts/
│   └── stochfuzz_env.sh
├── src/
│   ├── .clang-format
│   ├── Makefile
│   ├── address_dictionary.h
│   ├── afl_config.h
│   ├── asm_syscall.c
│   ├── asm_utils.c
│   ├── binary.c
│   ├── binary.h
│   ├── buffer.c
│   ├── buffer.h
│   ├── capstone_.c
│   ├── capstone_.h
│   ├── config.h
│   ├── core.c
│   ├── core.h
│   ├── crs_config.h
│   ├── diagnoser.c
│   ├── diagnoser.h
│   ├── disassembler.c
│   ├── disassembler.h
│   ├── elf_.c
│   ├── elf_.h
│   ├── fork_server.c
│   ├── fork_server.h
│   ├── frontend.c
│   ├── get_signal_stack_size.sh
│   ├── interval_splay.c
│   ├── interval_splay.h
│   ├── iterator.h
│   ├── library_functions/
│   │   ├── generate.py
│   │   ├── lib.csv
│   │   ├── library_functions.c
│   │   └── library_functions.h
│   ├── libstochfuzz.h
│   ├── libstochfuzzRT.c
│   ├── loader.c
│   ├── loader.h
│   ├── mem_file.c
│   ├── mem_file.h
│   ├── patcher.c
│   ├── patcher.h
│   ├── prob_disasm/
│   │   ├── prob_disasm_complete/
│   │   │   ├── dag.c
│   │   │   ├── hints.c
│   │   │   ├── propagation.c
│   │   │   └── solving.c
│   │   ├── prob_disasm_complete.c
│   │   └── prob_disasm_simple.c
│   ├── restricted_ptr.c
│   ├── restricted_ptr.h
│   ├── rewriter.c
│   ├── rewriter.h
│   ├── rewriter_handlers/
│   │   ├── generate.py
│   │   ├── handler_call.c
│   │   ├── handler_cjmp.c
│   │   ├── handler_jmp.c
│   │   ├── handler_loop.c
│   │   ├── handler_main.in
│   │   └── handler_ret.c
│   ├── sys_optarg.c
│   ├── sys_optarg.h
│   ├── tp_dispatcher.c
│   ├── tp_dispatcher.h
│   ├── trampolines/
│   │   ├── Makefile
│   │   ├── bitmap.c
│   │   ├── context_restore.c
│   │   ├── context_save.c
│   │   └── trampolines.h
│   ├── ucfg_analyzer.c
│   ├── ucfg_analyzer.h
│   ├── utils.c
│   ├── utils.h
│   └── x64_utils.c
└── test/
    ├── .crashpoint.z3
    ├── bzip2.no.pie
    ├── bzip2.pie
    ├── check_avx512
    ├── check_avx512.c
    ├── crash
    ├── crash.c
    ├── ex.smt2
    ├── hello
    ├── json-2017-02-12.normal
    ├── json.seed
    ├── leak-268f0e85f4bc45cbaf4d257222b830eac18977f3
    ├── libjpeg.asan
    ├── libpng-1.2.56
    ├── no_main
    ├── no_main.c
    ├── openssl-1.0.1f
    ├── openssl-1.0.1f.code.segments
    ├── pngfix.pie
    ├── rar
    ├── readelf.pie
    ├── runtime/
    │   ├── server.key
    │   └── server.pem
    ├── small_exec.elf
    ├── tcpdump.pie
    ├── test.c.bz2
    ├── test_daemon.sh
    ├── test_daemon_ignore_asan_sof.sh
    ├── timeout
    ├── timeout.c
    ├── unintentional_crash
    ├── unintentional_crash.c
    ├── vrrp.pcap
    └── z3