[00275546]一种程序静态自动分析方法
交易价格：
面议
所属行业：
分析仪器
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201610218742.0
交易方式：
技术转让
技术转让
技术入股
联系人：
南京大学
进入空间
所在地：江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
一种程序静态自动分析方法。本发明涉及一种使用数据流分析手段和逻辑推理系统进行程序性质自动化分析的方法，首先使用语法分析工具分析源码，构建语句级别的扩展程序流图，其次使用递归函数和其性质来定义待分析的程序性质，并使用交半格来描述性质的取值集合，然后定制程序性质在传播经过程序语句时的处理流程，通过结合约束求解工具和逻辑推理规则进行自动地推导分析，并使用数据流分析算法来执行自动迭代求解分析结果，最后将结果以公式地形式写回在扩展流图的程序节点上，便于分析人员判断代码是否出错。本方法能够代替人工手动分析操作，并且保证了分析准确性和完整性，避免人工手动分析出现错漏可能，有效节省时间成本和人力成本。
一种程序静态自动分析方法。本发明涉及一种使用数据流分析手段和逻辑推理系统进行程序性质自动化分析的方法，首先使用语法分析工具分析源码，构建语句级别的扩展程序流图，其次使用递归函数和其性质来定义待分析的程序性质，并使用交半格来描述性质的取值集合，然后定制程序性质在传播经过程序语句时的处理流程，通过结合约束求解工具和逻辑推理规则进行自动地推导分析，并使用数据流分析算法来执行自动迭代求解分析结果，最后将结果以公式地形式写回在扩展流图的程序节点上，便于分析人员判断代码是否出错。本方法能够代替人工手动分析操作，并且保证了分析准确性和完整性，避免人工手动分析出现错漏可能，有效节省时间成本和人力成本。
