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