期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于C程序的控制流图生成器的设计和实现

The Design and Implementation of Control Flow Graph Generator Based on C Program
下载PDF
导出
摘要 在对控制流图生成算法进行深入研究的基础上,基于分析器自动生成工具ANTLR,利用语法制导翻译技术,构造具有自动生成程序控制流图功能的语法分析器,并最后对实验生成的控制流图进行可视化输出。 We conduct research on the algorithms of generation of control flow graph, use the ANTLR which is a tool that can generate the Analyzer automatically, and then structure the grammar analyzer which can generate the control flow graph of program by syntax-directed translation, and finally output the generated control flow graph visually.
作者 任浩 张丽萍
机构地区 内蒙古师范大学计算机与信息工程学院
出处 《电脑编程技巧与维护》 2013年第4期8-11,共4页 Computer Programming Skills & Maintenance
关键词 控制流图 ANTLR工具 可视化 control flow graph ANTLR tool visualization
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献13

  • 1J.Ferrante,K.J.Ottenstein,J.D.Warren. The Program Dependence Graph and Its Use in Optimization.ACM Transactions on Pro- gramming Languages and Systems,Vol. 9, No. 3. (1987): 319-349.
  • 2M. Dwyer, J'. Hatcliff, Robby, C. Pasareanu, and W. Visser. Formal Software Analysis Emerging Trends in Software Model Checking.FOSE "07 In 2007 Future of Software Engineering (2007): 120-136.
  • 3R.S.Pressman. Software Engineering: a Practitioner' s Ap- proach [M] .6th Edition. New York: McGraw-Hill Higher E- ducation, 2004.
  • 4M.A.Storey .Theories, Methods and Tools in Program Compre- hension: Past, Present and Future. 13th International Work- shop on In International Workshop on Program Comprehension (2005), pp.181-191. (1999) , 13.
  • 5Jeffrey Heer, Maneesh Agrawala.Software design patterns for in- formation visualization.IEEE transactions on visualization and computer graphics In Visualization and Computer Graphics, IEEE Transactions on, Vol. 12, No. 5. (2006) , pp. 853- 860.
  • 6R.V.Rai,C.Phong,E.Gagnon, et a.1. Soot a java byteeode opti- mization frame work.In Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research.
  • 7A.Amighi, P.de Carvalho Gomes,D.Gurov and M.Huisman. Sound Control_Flow Graph Extraction for Java Programs with Exceptions.10th International Conference on Software Engi- neering and Formal Methods (SEFM) .2012.
  • 8Thomas Wllrthinger.Visualization of Java Control Flow Graphs. Bachelor thesis, Institute for System Software, Johannes Kepler University Linz, 2006.
  • 9陈卫东,杨建军,叶澄清,潘云鹤.基于块的流图模型及其控制流图[J].浙江大学学报（工学版）,2003,37(2):144-150. 被引量：3
  • 10袁媛,金茂忠,刘超.一种程序控制流图布图算法及其实现[C].全国软件与应用学术会议(NASAC),2004:234-241.

二级参考文献6

  • 1Mary Jean Harrold, Brian Malloy, Gregg Rothermel. Efficient Construction of Program Dependence Graphs [C]//Proc. Of the ACM Int'l Symp. On Software Testing and Analysis, Boston, MA, 1993,6 : 139- 148.
  • 2严蔚敏,吴伟民.数据结构(C语言)[M].北京:清华大学出版社,2002.
  • 3BEIZER B. Software Testing Techniques[M]. New York: Van Nostrand Reinhold, 1990.
  • 4VILELA P R S, MALDONADO J C, JINO M. Program graph visualization[J]. Software Practice and Experience, 1997, 27 (11):
  • 5陈卫东,杨建军,叶澄清,潘云鹤.基于块的流图模型及其控制流图[J].浙江大学学报（工学版）,2003,37(2):144-150. 被引量：3
  • 6徐甲同,杨?.程序相关图及其优化技术[J].微电子学与计算机,1992,9(10):35-38. 被引量：2

共引文献6

电脑编程技巧与维护
2013年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部