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