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...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	Sergey Vartanov, Alexander Gerasimov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	итеративный динамичеcкий анализ программ автоматический поиск ошибок анализ java программ software iterative dynamic analysis automatic defect detection java bytecode instrumentation
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/870