该文通过分析C程序中非局部跳转控制流的特点,提出了一个通过等价程序变换消除非局部跳转流的方法,并对该方法在不同情况下的正确......

ｌｏｎｇｊｍｐ是Ｃ语言中实现非局部跳转的库函数调用，它破坏了程序的结构性，并使常见折数据流分析技术无法在包含ｌｏｎｇｊｍｐ的程序段上有效地进行，文中提出一种......