C语言的别名分析方法研究

别名分析对于数据流分析、程序优化和分析工具的实现非常重要。文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题。通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率。

基于值依赖分析的空指针解引用检测

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用守卫标注,即描述了相邻点之间的到达条件.为了降低误报率,本文同时提出了一种需求驱动的必然别名算法.由本文所述方法实现的工具展示了良好的实验效果,在10个SPEC2000项目中发现了70余个空指针解引用缺陷,误报率仅为6%左右.

基于平衡水库的低压配水管网解决方案

水力仿真模型是模拟供水系统在压力不足条件下行为的重要工具,但传统的需求驱动分析不能直接模拟压力不足条件下的网络。因此,本文介绍了一种解决压力不足问题的新方法(CRS),即在有缺陷的节点处连接补压的平衡水库,将补充水库的流量补充到压力不足节点,而流向节点的补充流量实际上是该节点的不足。通过少数案例进行了演示,发现CRS方法涉及虚拟水库的添加和移除数量较少,更为简单,是一种很有前途的方法。