Applying dynamic analysis for defect detection in Java-applications
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 constructi...
| Published in: | Труды Института системного программирования РАН |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/870 |
| _version_ | 1848651726438006784 |
|---|---|
| author | Sergey Vartanov Alexander Gerasimov |
| author_facet | Sergey Vartanov Alexander Gerasimov |
| author_sort | Sergey Vartanov |
| collection | DOAJ |
| container_title | Труды Института системного программирования РАН |
| description | 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. |
| format | Article |
| id | doaj-e1df2baeb7b745e5b5c29e7187656fde |
| institution | Directory of Open Access Journals |
| issn | 2079-8156 2220-6426 |
| language | English |
| publishDate | 2018-10-01 |
| publisher | Russian Academy of Sciences, Ivannikov Institute for System Programming |
| record_format | Article |
| spelling | doaj-e1df2baeb7b745e5b5c29e7187656fde2025-11-03T00:16:44ZengRussian Academy of Sciences, Ivannikov Institute for System ProgrammingТруды Института системного программирования РАН2079-81562220-64262018-10-01250928870Applying dynamic analysis for defect detection in Java-applicationsSergey Vartanov0Alexander Gerasimov1ИСП РАНИСП РАН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.https://ispranproceedings.elpub.ru/jour/article/view/870итеративный динамичеcкий анализ программавтоматический поиск ошибоканализ java программsoftware iterative dynamic analysisautomatic defect detectionjava bytecode instrumentation |
| spellingShingle | Sergey Vartanov Alexander Gerasimov Applying dynamic analysis for defect detection in Java-applications итеративный динамичеcкий анализ программ автоматический поиск ошибок анализ java программ software iterative dynamic analysis automatic defect detection java bytecode instrumentation |
| title | Applying dynamic analysis for defect detection in Java-applications |
| title_full | Applying dynamic analysis for defect detection in Java-applications |
| title_fullStr | Applying dynamic analysis for defect detection in Java-applications |
| title_full_unstemmed | Applying dynamic analysis for defect detection in Java-applications |
| title_short | Applying dynamic analysis for defect detection in Java-applications |
| title_sort | applying dynamic analysis for defect detection in java applications |
| topic | итеративный динамичеcкий анализ программ автоматический поиск ошибок анализ java программ software iterative dynamic analysis automatic defect detection java bytecode instrumentation |
| url | https://ispranproceedings.elpub.ru/jour/article/view/870 |
| work_keys_str_mv | AT sergeyvartanov applyingdynamicanalysisfordefectdetectioninjavaapplications AT alexandergerasimov applyingdynamicanalysisfordefectdetectioninjavaapplications |