面向程序分析的插桩技术研究

摘要

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.%为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求，提出了插桩模型，开发了一款实用的插桩工具。基于双缓冲技术，构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息，然后根据插桩策略执行插桩，生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明，该方法能够为准确高效的程序分析提供必要的运行时信息。