Applying dynamic analysis for defect detection in Java-applications

Abstract

This paper provides an overview of program analysis techniques and describes practical implementation of these techniques for automatic software defect detection. The paper focuses on program dynamic analysis technique based on tainted data flow tracing, instrumentation and constraint set construction for automatic input generation. An overview of practical considerations for developing a dynamic analysis tool for Java applications is given. It is complemented by a detailed description of actual prototype implementation created within the scope of this project. Finally, the paper features an overview of practical results obtained on a number of Java applications and provides an evaluation of these results.

Keywords

• итеративный динамичеcкий анализ программ
• автоматический поиск ошибок
• анализ java программ
• software iterative dynamic analysis
• automatic defect detection
• java bytecode instrumentation