带有指针的嵌套式语言全程数据流分析及程序分片系统

Whole-Program Data Flow Analysis and Program Slicing System of Nested Language in the Presence of Pointers

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.

A whole-program data flow analysis and program slicing system of nested language in the presence of pointers modeled on PASCAL language is designed and implemented. The system can effectively deal with pointers, and can be used to many fields such as program testing, program understanding, program debugging, program slicing.