非局部跳转控制流的自动消除

• 作者: 朱传琪 臧斌宇 陈桂林 黄波
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 非局部跳转 程序结构化 过程间分析 调用栈 规范化
• 年，卷（期）: 2000,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 585-592
• 页数: 8页
• 分类号: TP311
• 字数: 7053字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2000.06.004

摘要

longjmp是C语言中实现非局部跳转的库函数调用,它破坏了程序的结构性,并使常见的数据流分析技术无法在包含longjmp的程序段上有效地进行.文中提出一种消除longjmp的算法,该算法用转移语句和返回语句的结合来模拟非局部跳转功能,从而使控制流趋于规范并有利于数据流分析的进行,进一步地增强了挖掘程序并行性的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	臧斌宇	复旦大学并行处理研究所	46	315	8.0	15.0
2	朱传琪	复旦大学并行处理研究所	32	201	7.0	12.0
3	黄波	复旦大学并行处理研究所	20	190	8.0	13.0
4	陈桂林	复旦大学并行处理研究所	1	0	0.0	0.0