SymQEMU: Compilation-based symbolic execution for binaries

Cristian Cadar, Daniel Dunbar, Dawson Engler, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs operating systems design and implementation. pp. 209- 224 ,(2008) , 10.5555/1855741.1855756

Konstantin Serebryany, Derek Bruening, Alexander Potapenko, Dmitry Vyukov, AddressSanitizer: a fast address sanity checker usenix annual technical conference. pp. 28- 28 ,(2012)

Yan Shoshitaishvili, Ruoyu Wang, Christophe Hauser, Christopher Kruegel, Giovanni Vigna, None, Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware. network and distributed system security symposium. ,(2015) , 10.14722/NDSS.2015.23294

James C. King, Symbolic execution and program testing Communications of The ACM. ,vol. 19, pp. 385- 394 ,(1976) , 10.1145/360248.360252

Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley, Unleashing Mayhem on Binary Code ieee symposium on security and privacy. pp. 380- 394 ,(2012) , 10.1109/SP.2012.31

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea, S2E Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11. ,vol. 46, pp. 265- 278 ,(2011) , 10.1145/1950365.1950396

Chris Lattner, Vikram Adve, LLVM: a compilation framework for lifelong program analysis & transformation symposium on code generation and optimization. pp. 75- 86 ,(2004) , 10.5555/977395.977673

Nicholas Nethercote, Julian Seward, Valgrind Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07. ,vol. 42, pp. 89- 100 ,(2007) , 10.1145/1250734.1250746

Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna, None, SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis 2016 IEEE Symposium on Security and Privacy (SP). pp. 138- 157 ,(2016) , 10.1109/SP.2016.17

Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna, None, Driller: Augmenting Fuzzing Through Selective Symbolic Execution. network and distributed system security symposium. ,(2016) , 10.14722/NDSS.2016.23368