[发明专利]一种C程序中条件表达式的数据流分析方法在审
| 申请号： | 201710097984.3 | 申请日： | 2017-02-23 |
| 公开（公告）号： | CN106909506A | 公开（公告）日： | 2017-06-30 |
| 发明（设计）人： | 董玉坤 | 申请（专利权）人： | 中国石油大学（华东） |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 266580 山*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种C程序中条件表达式的数据流分析方法，该方法对于通过预处理后的被测C程序，采用区间运算方法分析被测程序中的条件表达式的取值区间。该方法包括A、通过识别条件表达式中的三个表达式的特征，归纳总结C程序中各种情况的条件表达式；B、采用区间运算方法实现对条件表达式的流敏感数据流分析。本发明的C程序中条件表达式数据流分析方法，可实现对C程序中各种条件表达式的精确分析，获得其取值区间。 | ||
| 搜索关键词： | 一种 程序 条件 表达式 数据流 分析 方法 | ||
【主权项】：
一种C程序中条件表达式的数据流分析方法，其特征在于，该解决方法包括以下几个步骤：A、总结程序中各类条件表达式，并归纳出相关的语法特征；B、应用抽象语法树描述条件表达式的语法；C、采用区间运算方法对条件表达式进行数据流分析。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国石油大学（华东），未经中国石油大学（华东）许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710097984.3/，转载请声明来源钻瓜专利网。
- 上一篇：一种陶瓷吊烧支架
- 下一篇：一种磁性材料冷却装置
