Execution hijacking: Improving dynamic analysis by flying off course

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011

Volumn , Issue , 2011, Pages 200-209

  Tsankov, Petar ^a   Jin, Wei ^a   Orso, Alessandro ^a   Sinha, Saurabh ^b  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b IBM RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMPIRICAL STUDIES; PROGRAM BEHAVIOR;

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION; RATING; SOFTWARE TESTING; VERIFICATION;

DYNAMIC ANALYSIS;

EID: 79958701487     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2011.45     Document Type: Conference Paper

References (30)

1. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan, "Scalable Statistical Bug Isolation," in Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005, pp. 15-26.
2. M. Jump and K. McKinley, "Cork: Dynamic memory leak detection for garbage-collected languages," in Proc. of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007, pp. 31-38.
3. N. Mitchell and G. Sevitsky, "Leakbot: An automated and lightweight tool for diagnosing memory leaks in large Java applications," in Proc. of the 17th European Conference on Object-Oriented Programming, 2003, pp. 351-377.
4. W.-K. Chen, S. Bhansali, T. Chilimbi, X. Gao, and W. Chuang, "Profile-guided proactive garbage collection for locality optimization," in Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2006, pp. 332-340.
5. A. Orso, T. Apiwattanapong, and M. J. Harrold, "Leveraging field data for impact analysis and regression testing," in Proc. of the 9th European Software Engineering Conference and 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering, september 2003, pp. 128-137.
6. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin, "Quickly detecting relevant program invariants," in Proc. of the 22nd International Conference on Software Engineering, 2000, pp. 449-458.
7. G. Ammons, R. Bodík, and J. R. Larus, "Mining specifications," in Proc. of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002, pp. 4-16.
8. J. Bowring, A. Orso, and M. J. Harrold, "Monitoring deployed software using software tomography," in Proc. of the ACM SIGPLANSIGSOFT Workshop on Program Analysis for Software Tools and Engineering, November 2002, pp. 2-9.
9. J. Clause and A. Orso, "A Technique for Enabling and Supporting Debugging of Field Failures," in Proc. of the 29th IEEE and ACM SIGSOFT International Conference on Software Engineering, 2007, pp. 261-270.
10. The GAMMA Project, http://gamma.cc.gatech.edu/, georgia Institute of Technology.
11. M. Haran, A. Karr, A. Orso, A. Porter, and A. Sanil, "Applying classification techniques to remotely-collected program execution data," in Proc. of the 10th European Software Engineering Conference / 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, pp. 146-155.
12. C. Cadar, D. Dunbar, and D. R. Engler, "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs," in Proc. of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008, pp. 209-224.
13. J. C. King, "Symbolic execution and program testing," Communications of the ACM, vol. 19, no. 7, pp. 385-394, 1976.
14. W. Visser, C. S. P.as.areanu, and S. Khurshid, "Test Input Generation with Java PathFinder," ACM SIGSOFT Software Engineering Notes, vol. 29, no. 4, pp. 97-107, 2004.
15. T. Xie, D. Marinov, W. Schulte, and D. Notkin, "Symstra: A framework for generating object-oriented unit tests using symbolic execution," in Proc. of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005, pp. 365-381.
16. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," in Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005, pp. 213-223.
17. K. Sen, D. Marinov, and G. Agha, "CUTE: A Concolic Unit Testing Engine for C," in Proc. of the 10th European Software Engineering Conference / 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, pp. 263-272.
18. A. Moser, C. Kruegel, and E. Kirda, "Exploring multiple execution paths for malware analysis," in Proc. of the IEEE Symposium on Security and Privacy, 2007, pp. 231-245.
19. J. Wilhelm and T. Chiueh, "A forced fampled execution approach to kernel rootkit identification," in Proc. of the 10th International Symposium on Recent Advances in Intrusion Detection, ser. LNCS, vol. 4637, 2007, pp. 219-235.
20. S. Lu, P. Zhou, W. Liu, Y. Zhou, and J. Torrellas, "PathExpander: Architectural support for increasing the path coverage of dynamic bug detection," in Proc. of the 39th Annual IEEE/ACM International Symposium on Microarchitecture, Dec. 2006, pp. 38-52.
21. J. Seward and N. Nethercote, "Using Valgrind to detect undefined value errors with bit-precision," in Proc. of the 2005 USENIX Annual Technical Conference, 2005.
22. S. McConnell, "Daily build and smoke test," IEEE Software, vol. 13, no. 4, p. 144, 1996.
23. M. Renieris, S. Chan-Tin, and S. P. Reiss, "Elided conditionals," in Proc. of the 5th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Jun. 2004, pp. 52-57.
24. X. Zhang, N. Gupta, and R. Gupta, "Locating faults through automated predicate switching," in Proc. of the 28th International Conference on Software Engineering, May 2006, pp. 272-281.
25. J. Laski, W. Szermer, and P. Luczycki, "Dynamic mutation testing," in Proc. of the 15th International Conference on Software Engineering, May 1993, pp. 108-117.
26. A. Zeller, "Isolating cause-effect chains from computer programs," in Proc. of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, Nov. 2002, pp. 1-10.
27. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur, "Multithreaded Java program test generation," IBM Systems Journal, vol. 41, no. 1, pp. 111-125, 2002.
28. J. Voas and G. McGraw, Software Fault Injection: Innoculating Programs Against Errors. John Wiley & Sons, 1997.
29. P. Tsankov, W. Jin, A. Orso, and S. Sinha, "Execution hijacking: Improving dynamic analysis by flying off course," Georgia Institute of Technology, Tech. Rep. GIT-CERCS-10-12, 2010.
30. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," IEEE Transactions on Software Engineering, vol. 27, no. 2, pp. 1-25, Feb. 2001.