【摘 要】
：
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入
【机 构】
：
中南林业科技大学,计算机信息与工程学院,长沙,410004
【出 处】
：
2010年第四届中国可信计算与信息安全学术会议
论文部分内容阅读
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.
其他文献
提出了一种结合多个Logistic混沌映射和逐段正弦混沌映射的图像加密算法.通过m个Logistic混沌映射的多次迭代,分别产生m个分段正弦混沌映射的初值和参数值,由m个分段正弦混沌
近十年来，随着建筑业的发展，我县６家水泥厂生产规模不断扩大，防尘设施不断改进。现对改进前后水泥行业各扬尘作业点的防尘效果调查评价如下。１ 调查方法（１）粉尘测定选点、采样按照《
本文介绍了“数字信号处理”课程双语教学课程建设和教学实践情况。文中指出,选取合适的教材对于取得良好的教学效果是非常重要的,授课内容应根据教学大纲的要求作适当增删。