Symbolic execution with SymCC: Don't interpret, compile!
作者： Aurélien Francillon , Sebastian Poeplau
DOI:
关键词:
摘要: … Using it on real-world software, we found that our approach … However, when we run a version of SYMCC with concreteness … By speeding up symbolic execution, we aim to make its more …
参考文章(17)
E. Allen Emerson, Edmund M. Clarke, Characterizing Correctness Properties of Parallel Programs Using Fixpoints international colloquium on automata, languages and programming. pp. 169- 181 ,(1980) , 10.1007/3-540-10003-2_69
Patrice Godefroid, Michael Y. Levin, David Molnar, SAGE Communications of the ACM. ,vol. 55, pp. 40- 44 ,(2012) , 10.1145/2093548.2093564
Konstantin Serebryany, Evgeniy Stepanov, MemorySanitizer: fast detector of uninitialized memory use in C++ symposium on code generation and optimization. pp. 46- 55 ,(2015) , 10.5555/2738600.2738607
Clark Wiedmann, A performance comparison between an APL interpreter and compiler ACM SIGAPL APL Quote Quad. ,vol. 13, pp. 211- 217 ,(1983) , 10.1145/390005.801219
Simeon Ntafos, Joe W. Duran, A report on random testing international conference on software engineering. pp. 179- 183 ,(1981) , 10.5555/800078.802530
C.-H.A. Hsieh, M.T. Conte, T.L. Johnson, J.C. Gyllenhaal, W.-M.W. Hwu, Compilers for improved Java performance IEEE Computer. ,vol. 30, pp. 67- 75 ,(1997) , 10.1109/2.587551
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
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler, EXE Proceedings of the 13th ACM conference on Computer and communications security - CCS '06. pp. 322- 335 ,(2006) , 10.1145/1180405.1180445
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