自动机在程序控制流图分析中的应用
摘要
本文谈论了自动机和程序流图的相似之处,提出了用自动机来描述程序控制流程的方法。
出处
《电脑知识与技术》
2005年第1期29-30,共2页
Computer Knowledge and Technology
-
1任浩,张丽萍.基于C程序的控制流图生成器的设计和实现[J].电脑编程技巧与维护,2013(4):8-11.
-
2单永明.一种源程序到控制流图的自动生成方法[J].小型微型计算机系统,1996,17(10):45-49. 被引量:7
-
3杨昌坤,许庆国.C程序控制流程模型的提取技术与实现[J].计算机科学,2014,41(5):208-214. 被引量:4
-
4刘益,闵兰.确定有限自动机的逻辑形式定义[J].西南师范大学学报(自然科学版),2008,33(5):134-136. 被引量:5
-
5刘大本.有限自动机的类类型实现方法[J].青岛远洋船员学院学报,2000,21(4):1-8.
-
6叶焰锋,叶俊民,詹泽梅,雷志翔.数组越界的故障模型及其检测方法研究[J].微计算机信息,2007,23(31):145-147. 被引量:10
-
7顾兆军,张友海.并行程序控制流图可视化的实现[J].中国民航学院学报,2000,18(1):43-48.
-
8刘光志.通用图灵机的一种编码方案[J].微计算机信息,2010,26(27):230-231.
-
9陈贝,许庆国.基于静态检测的C++内存泄漏分析[J].计算机工程与科学,2017,39(1):118-124. 被引量:6
-
10刘益,闵兰,李生林,高黎.确定有限自动机的矩阵形式[J].四川师范大学学报(自然科学版),2009,32(4):447-449. 被引量:3