语言simper分析结果_【南大软件分析】lecture15 笔记-CFL Reachability and IFDS

苏鲁定

于 2021-01-09 18:39:31 发布

阅读量1.1k

点赞数 1

文章标签：语言simper分析结果

本文链接：https://blog.youkuaiyun.com/weixin_42109545/article/details/112628428

版权

本文介绍了静态分析中的IFDS（Interprocedural, Finite, Distributive, Subset Problem）框架，该框架基于图可达性分析。重点讨论了CFL（Context Free Language）可达性在排除不可行路径，特别是不可实现路径的影响，以提高分析精度。通过在控制流图上标注并定义特定语言来区分可实现路径和不可实现路径，IFDS能够解决全程序的静态分析问题，如到达定义分析。最后提到了Tabulation算法在求解分解图上的可达性中的应用。" 125755784,8165422,CarSim仿真：制动系统建模与控制,"['自动驾驶', '仿真', '软件工具', '模型', '控制理论']

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

这门课将会讲到静态分析领域一个蛮深入的一门技术——IFDS，而IFDS基于图可达性分析，所以首先会讲如何分析一个控制流图上结点的可达性，由此引入CFL技术（context free language）来分析可达性。

静态分析的几乎所有的研究工作都是在着力提高分析的精度和速度，而降低了分析这两方面的很重要一个因素是控制流中的不可行路径。这门课的CFL技术就是着力于排除不可行路径的影响。

不可行路径Infeasible path

不可行路径指那些控制流图上存在，但在运行时不会被执行的路径，主要有两类，一类是结合程序的语义或者说是业务来讲的，例如对于以下程序：

fun foo(int age) {  
    if (age > 0) {  // 1
        return 1    // 2
    } else {        
        return 0    // 3
    }               
}

结合程序语义或者说是业务，可以确定1 -> 3是一条运行时永远不会被运行的路径，所以该路径为一条不可行路径，但是在更普遍的意义上，也是这节课关注的方面，并不是这些不可行路径，而是另外一类，被称为不可实现的路径（unrealizable p

最低0.47元/天解锁文章