基于源代码的指针分析算法的安全性改进  

SECURITY IMPROVEMENT OF POINTER ANALYSIS ALGORITHM BASED ON SOURCE CODE

作　　者：魏磊[1] 谢立[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系,江苏南京210093

出　　处：《计算机应用与软件》2008年第12期9-11,共3页Computer Applications and Software

基　　金：国家863计划项目(2003AA144010)

摘　　要：提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导致的攻击的漏报,同时还保持了原有算法复杂度不变。In the paper it puts forward a new pointer analysis method with higher security. It selects the Steensgaard algorithm after comprehensively analyzed four common pointer analysis algorithms and improves its security, Based on it, through adding semantics of compulsory type conversion and further modifying the inference rules of type system, the missing report of attacks caused by precision losses is avoided. Meanwhile it keeps the original algorithm complexity constant.

关 键 词：指针分析 算法 类型系统 函数标签 

分 类 号：TP312C[自动化与计算机技术—计算机软件与理论] TN958[自动化与计算机技术—计算机科学与技术]