编译系统中数据流分析研究.pdfVIP

维普资讯 n二 珊 I 编译系统中数据流分析研究 a Study ofData-f1OWAna1ysis inCompi1ingSystem 刘晓锋 吴亚娟 李明东 曾宪华 Liu Xiaofeng WU Yajuan Li Mingdong Zeng Xjanhua (西华师范大学计算机学院，南充 637002) (SchoolofComputer，ChineWestNormalUniversit~，，Nanchong 637002) 摘 要：数据流分析是编译系统中的一个重要的内容，也是程序静态分析的-：i、方面 本文按程序执行路径 对数据流分析问题进行分类，这有利干建立数据流分析的统一的描述模型，井以此为基础论述了数摒流分析框架与 数据流分析的内在联系，这为并发程序的数据流分析奠定了昆好的基础。 关键字：数据流：信．息流：控制流图：前向流：后向流 中图分类号：TP314 文献标识码：A 文章编号：1671—4792