论文部分内容阅读
提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导致的攻击的漏报,同时还保持了原有算法复杂度不变。
基于源代码的指针分析算法的安全性改进
【摘 要】
：
提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导致的攻击的漏报,同时还保持了原有算法复杂度不变。
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年12期
【基金项目】
：
国家863计划项目（2003AA144010）.
其他文献
蔬果玉米系指供作蔬菜、果品以及加工罐藏食品的玉米，包括糯质玉米、甜质玉米、爆裂玉米，它们和普通玉米同为一属而是不同的亚种。蔬果玉米营养丰富，适口性好，鲜食速冻膨爆加工品
基于话语分析理论,通过大学英语课堂录音录像,采用实证量化分析方法,对来自我国西北地区某985高校的12位大学英语教师的课堂话语进行分类调查、对比分析。从教师话语量、提问
明清时期,嘉兴是江南地区商品经济最繁荣的地区之一,其商业和市场异常活跃。徽商作为当时全国最大的商帮之一,在嘉兴开展了各种各样的活动。徽商的活动,对当地的经济和社会产
随着网络的普及和语料库技术的成熟,越来越多的研究开始探讨英语教学中的应用语料库,然而真正将语料库直接引进英语课堂的实证性研究在国内却并不多见。本研究以山西师范大学
设计并实现了一种XQuery查询程序自动生成系统。为普通用户提供一种界面友好的XQuery查询,有利于XML的进一步推广。