教授
招生学科专业：
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
毕业院校：南京航空航天大学
学历：南京航空航天大学
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院/软件学院
联系方式：025-84892400
电子邮箱：
最后更新时间：..
点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：计算技术与自动化
关键字：可配置程序分析;抽象解释;静态分析;运行时错误验证;
摘要：安全关键领域中,如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。可配置程序分析(configurable program analysis,CPA)是一种适合多种静态分析方法的通用分析框架。本文使用CPA对抽象解释分析方法进行建模,给出了使用基于CPA的抽象解释方法验证程序中的运行时错误的验证流程,并用实例说明该验证方法的有效性。为程序中运行时错误的自动化分析和验证提供了一种可行方案。
是否译文：否
发表时间：2017-09-15
合写作者：张弛,丁泽文,刘林武
通讯作者：黄志球
