Dynamic program analysis for error detection using goal-seeking input data generation

Труды Института системного программирования РАН

A. Y. Gerasimov¹  S. P. Vartanov¹ 

[1] ИСП РАН;

关键词: динамический анализ;    анализ программ;   

DOI  :  10.15514/ISPRAS-2014-26(1)-15

来源: DOAJ

【 摘 要 】

This paper describes the principles of program dynamic analysis for defect detection using input data generation. Techniques of program transformation allowing execution trace extraction, data flow tracing and input data generation for execution path coverage approaches are considered. We clarify in what way such an approach allows us to perform fully automatic analysis using executable or interpretable code. This paper also presents dynamic analysis tools developed at Institute for System Programming RAS---Avalanche (Valgrind-based tool) and a prototype tool for Java applications. The paper concludes with an evaluation of practical results of applying Avalanche tool to a set of open source projects as well as results of applying Java analysis tool to detect concurrency defects.

【 授权许可】

Unknown