基于类跟踪的程序分析技术

TECHNOLOGY FOR ANALYSING PROGRAMS BASED ON CLASS TRACING

本文基于信息流分析技术 ,提出了对对象式语言进行程序分析的类跟踪技术和类跟踪的实现方法 ,并基于此技术给出了一种针对对象式语言程序的程序分析和程序分片方法 ,对于程序分析和程序理解及程序文档化具有一定意义 .

This paper presented the technology of class t ra cing and its implementation way for analysing OO program based on information fl ow analysing technology. Based on this, we present a method for OO program analy sing and slicing. This technology is of significance in program analysis, progra m understanding and program documentization.