%0 Journal Article
%T Trustworthy pointer analysis for software reliability<br>面向软件可信性的可信指针分析技术综述*
%A YAO Yu-feng
%A <br>姚宇峰
%J 计算机应用研究
%D 2012
%I 
%X 对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较，详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。
%K software trustworthiness
%K program analysis technology
%K trustworthy pointer analysis
%K flow sensitive pointer analysis
%K context sensitive pointer analysis<br>软件可信
%K 程序分析技术
%K 可信指针分析
%K 流敏感分析
%K 上下文敏感分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=61833B526617F5D590265AE6971D942F&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=0B39A22176CE99FB&sid=CB3428B1EFB1C133&eid=6D6BFCF0101BC091&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=41