1. bzip2 (2017).
http://www.bzip.org
2. IDA (2017).
https://www.hex-rays.com/products/ida/
3. Klee sample (2017).
http://klee.github.io/tutorials/testing-function/
4. slre (2017).
https://github.com/cesanta/slre
5. Cadar, C., Dunbar, D., Engler, D.R., et al.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of 8th USENIX Conference on Operating Systems Design and Implementation (OSDI 2008), pp. 209–224 (2008)