Crashmaker: an improved binary concolic testing tool for vulnerability detection
暂无分享,去创建一个
[1] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[2] Giovanni Denaro,et al. Structural coverage of feasible code , 2010, AST '10.
[3] D. V. Sidorov,et al. The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs , 2010, Programming and Computer Software.
[4] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[5] David Brumley,et al. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask) , 2010, 2010 IEEE Symposium on Security and Privacy.
[6] Patrice Godefroid,et al. Active property checking , 2008, EMSOFT '08.
[7] Nicholas Nethercote,et al. Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.
[8] George Candea,et al. S2E: a platform for in-vivo multi-path analysis of software systems , 2011, ASPLOS XVI.
[9] Patrice Godefroid,et al. Automated Whitebox Fuzz Testing , 2008, NDSS.
[10] David A. Wagner,et al. Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs , 2009, USENIX Security Symposium.
[11] Dawson R. Engler,et al. EXE: automatically generating inputs of death , 2006, CCS '06.
[12] Manuel Costa,et al. Bouncer: securing software by blocking bad input , 2008, WRAITS '08.
[13] David L. Dill,et al. A Decision Procedure for Bit-Vectors and Arrays , 2007, CAV.
[14] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[15] James C. King,et al. Symbolic execution and program testing , 1976, CACM.
[16] David Brumley,et al. Unleashing Mayhem on Binary Code , 2012, 2012 IEEE Symposium on Security and Privacy.