Program Instrumentation Oriented to Program Analysis

WANG Ke-chao,CHENG Jian,WANG Tian-tian,REN Xiang-min
DOI: https://doi.org/10.3969/j.issn.1001-3695.2015.02.035
2015-01-01
Abstract:In order to better meet the needs of program analysis technology such as test coverage analysis,and automatic de-bugging,this paper proposed a program instrumentation model and developed a practical tool.Based on double buffering tech-nique,it constructed lexical analyzer and syntax analyzer.Instrumentation information was collected during syntactic deduc-tion.Thus instrumentation action was performed and instrumented object file was generated according to instrumentation poli-cy.It applied the program spectrum constructed by the instrumentation method to four state-art of coverage based software auto-matic debugging techniques.The defect statement was identified as the most suspicious statement by all the four techniques.It indicates that the program instrumentation method can provide necessary runtime information for accurate and efficient program analysis.
What problem does this paper attempt to address?