-
题名非局部跳转控制流的自动消除
- 1
-
-
作者
陈桂林
黄波
臧斌宇
朱传琪
-
机构
复旦大学并行处理研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2000年第6期585-592,共8页
-
基金
国家自然科学基金
教育部博士点专项科研基金
-
文摘
longjmp是 C语言中实现非局部跳转的库函数调用 ,它破坏了程序的结构性 ,并使常见的数据流分析技术无法在包含 longjmp的程序段上有效地进行 .文中提出一种消除 longjmp的算法 ,该算法用转移语句和返回语句的结合来模拟非局部跳转功能 ,从而使控制流趋于规范并有利于数据流分析的进行 ,进一步地增强了挖掘程序并行性的能力 .
-
关键词
程序结构化
非局部跳转控制流
自动消除
-
Keywords
non-local goto, program structurization, interprocedural analysis, call stack, normalization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
