## 4 System Design
### Locating RC Points and Negating Procedure
(2019) [PERSON]; [PERSON]; [PERSON] Coverage-based Greybox Fuzzing as Markov Chain. Available online: [[https://github.com/mboehme/affast](https://github.com/mboehme/affast)]([https://github.com/mboehme/affast](https://github.com/mboehme/affast)) (accessed on 3 November 2019). * [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON] MOPT: Optimized Mutation Scheduling for Fuzzers. Available online: [[https://github.com/puppet-meteor/MOpt-AFL](https://github.com/puppet-meteor/MOpt-AFL)]([https://github.com/puppet-meteor/MOpt-AFL](https://github.com/puppet-meteor/MOpt-AFL)) (accessed on 10 December 2019). * [PERSON] and [PERSON] (2019) [PERSON]; [PERSON] InsTrim: Lightweight Instrumentation for Coverage-Guided Fuzzing. Available online: [[https://github.com/scienslab/instrim](https://github.com/scienslab/instrim)]([https://github.com/scienslab/instrim](https://github.com/scienslab/instrim)) (accessed on 10 December 2019). * [PERSON] (2019) [PERSON] A General-Purpose Fuzzer. Available online: [[https://gitlab.com/akihe/radamsa](https://gitlab.com/akihe/radamsa)]([https://gitlab.com/akihe/radamsa](https://gitlab.com/akihe/radamsa)) (accessed on 3 November 2019). * [PERSON] et al. (2008) [PERSON]; [PERSON]; [PERSON]: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8 th USENIX Symposium on Operating Systems Design and Implementation, Berkeley, CA, USA, 8-10 December 2008; pp. 209-224. * [PERSON] et al. (2008) [PERSON]; [PERSON]; [PERSON] Automated whitebox fuzz testing. In Proceedings of the Network and Distributed System Security Symposium (NDSS), Reston, VA, USA, 10-13 February 2008. * [PERSON] (2019) [PERSON] QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. Available online: [[https://github.com/sslab-gatech/qsym](https://github.com/sslab-gatech/qsym)]([https://github.com/sslab-gatech/qsym](https://github.com/sslab-gatech/qsym)) (accessed on 1 September 2019). * [PERSON] (2019) LVA: Large-Scale Automated Vulnerability Addition. Available online: [[https://github.com/panda-re/lava](https://github.com/panda-re/lava)]([https://github.com/panda-re/lava](https://github.com/panda-re/lava)) (accessed on 5 September 2019). * [PERSON] and [PERSON] (2016) [PERSON]; [PERSON] [PERSON] Deepfuzz: Triggering vulnerabilities deeply hidden in binaries. In Proceedings of the 13 th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), San Sebastian, Spain, 7-8 July 2016. * Tracer (2019) Tracer: Utilities for Generating Dynamic Traces. Available online: [[https://github.com/angr/tracer](https://github.com/angr/tracer)]([https://github.com/angr/tracer](https://github.com/angr/tracer)) (accessed on 5 October 2019). * [PERSON] et al. (2016) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; et al. Sok: (state of) the art of war: Offensive techniques in binary analysis. In Proceedings of the 2016 IEEE Symposium on Security and Privacy (SP), San Jose, CA, USA, 22-26 May 2016; pp. 138-157. * [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] CollAFL: Path sensitive fuzzing. In Proceedings of the IEEE Symposium on Security and Privacy, San Francisco, CA, USA, 20-24 May 2018; pp. 660-677. * Binutils Source Code (2019) Binutils Source Code. Available online: [[https://ftp.gnu.org/gnu/binutils/](https://ftp.gnu.org/gnu/binutils/)]([https://ftp.gnu.org/gnu/binutils/](https://ftp.gnu.org/gnu/binutils/)) (accessed on 23 November 2019). * libksba Source Code (2019) libksba Source Code. Available online: [[https://fossies.org/linux/privat/libksba-1.3.5.tar.gz/](https://fossies.org/linux/privat/libksba-1.3.5.tar.gz/)]([https://fossies.org/linux/privat/libksba-1.3.5.tar.gz/](https://fossies.org/linux/privat/libksba-1.3.5.tar.gz/)) (accessed on 23 November 2019). * libjpeg Source Code (2019) libjpeg Source Code.