Modeling software execution environment

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2012, Pages 415-424

  Qi, Dawei ^a   Sumner, William N ^b   Qin, Feng ^a   Zheng, Mai ^a   Zhang, Xiangyu ^b   Roychoudhury, Abhik ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b PURDUE UNIVERSITY   (United States)

^c Ohio State University   (United States)

Author keywords

Execution Environment Modeling; Program Synthesis; Program Environment Co analysis

Indexed keywords

C PROGRAMS; CONSTRUCT MODELS; DYNAMIC TESTS; EXECUTION ENVIRONMENTS; FAILURE TOLERANCE; IMPLEMENTATION COMPLEXITY; LIBRARY FUNCTIONS; MODELING SOFTWARES; PROGRAM SYNTHESIS; PROGRAM-ENVIRONMENT CO-ANALYSIS; SOFTWARE ANALYSIS; SOFTWARE EXECUTION; SOURCE CODES; SYSTEM CALLS;

REVERSE ENGINEERING; SEMANTICS;

ITERATIVE METHODS;

EID: 84872320370     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2012.51     Document Type: Conference Paper

References (37)

1. H. Agrawal and J. Horgan, "Dynamic program slicing," in PLDI, 1990.
2. J. Newsome and D. Song, "Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software," in NDSS, 2005.
3. D. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M. G. Kang, Z. Liang, J. Newsome, P. Poosankam, and P. Saxena, "BitBlaze: A new approach to computer security via binary analysis," in ICISS, 2008.
4. C. Cadar, D. Dunbar, and D. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs," in OSDI, 2008.
5. J. Wei, "Improving operating systems security: Two case studies," PhD Dissertation, Georgia Institute of Technology, 2009.
6. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou, "Rx: treating bugs as allergies-a safe method to survive software failures," in SOSP, 2005.
7. S. Jha, S. Gulwani, S. Seshia, and A. Tiwari, "Oracle-guided component-based program synthesis," in ICSE, 2010.
8. M. Weiser, "Program slicing," in ICSE, 1981.
9. A. Myers, "JFLow: Practical mostly-static information flow control," in POPL, 1999.
10. J. Gray, "Why do computers stop and what can be done about it?" in SRDS, 1986.
11. Q. Gao, W. Zhang, Y. Tang, and F. Qin, "First-aid: surviving and preventing memory management bugs during production runs," in EuroSys, 2009.
12. Squid. http://www.squid-cache.org/, 2011.
13. HTTP Specification. http://www.w3.org/Protocols/Specs.html, 2011.
14. The GNU C Library. http://www.delorie.com/gnu/docs/glibc/libc 31. html, 2011.
15. V. Lvin, G. Novark, E. Berger, and B. Zorn, "Archipelago: trading address space for reliability and security," in ASPLOS, 2008.
16. C. Lattner and V. Adve, "Automatic pool allocation: improving performance by controlling data structure layout in the heap," in PLDI, 2005.
17. S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan, "Synthesis of loop-free programs," in PLDI, 2011.
18. E. Weyuker and B. Jeng, "Analyzing partition testing strategies," IEEE Transactions on Software Engineering, vol. 17, no. 7, 1991.
19. Y. Lei and K. Tai, "In-parameter-order: a test generation strategy for pairwise testing," in HASE, 1998.
20. L. De Moura and N. Bjørner, "Z3: An efficient smt solver," in TACAS, 2008.
21. GNU C library. http://www.gnu.org/s/libc/, 2011.
22. H. Warren, Hacker's delight. Addison-Wesley Professional, 2003.
23. S. Gulwani, "Automating string processing in spreadsheets using input-output examples," in POPL, 2011.
24. S. Srivastava, S. Gulwani, S. Chaudhuri, and J. S. Foster, "Path-based inductive synthesis for program inversion," in PLDI, 2011.
25. S. Gulwani, V. Korthikanti, and A. Tiwari, "Synthesizing geometry constructions," in PLDI, 2011.
26. K. Havelund and T. Pressburger, "Model checking Java programs using Java pathfinder," STTT, vol. 2, no. 4, 2000.
27. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," in PLDI, 2005.
28. K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in ESEC/FSE, 2005.
29. O. Tkachuk and M. B. Dwyer, "Adapting side effects analysis for modular program model checking," in ESEC/FSE, 2003.
30. C. S. Pǎsǎreanu, N. Rungta, and W. Visser, "Symbolic execution with mixed concrete-symbolic solving," in ISSTA, 2011.
31. T. Mackinnon, S. Freeman, and P. Craig, "Endo-testing: unit testing with mock objects," Extreme programming examined, 2001.
32. S. Freeman, T. Mackinnon, N. Pryce, and J. Walnes, "Mock roles, not objects," in OOPLSA, 2004.
33. Google C++ Mocking Framework. http://code.google.com/p/googlemock/, 2011.
34. Easymock http://easymock.org/, 2011.
35. P. Godefroid, "Compositional dynamic test generation," in POPL, 2007.
36. M. Ernst, J. Perkins, P. Guo, S. McCamant, C. Pacheco, M. Tschantz, and C. Xiao, "The Daikon system for dynamic detection of likely invariants," Science of Computer Programming, vol. 69, no. 1-3, 2007.
37. L. Mariani and M. Pezzè, "Dynamic detection of cots component incompatibility," IEEE Software, vol. 24, no. 5, 2007.