[发明专利]一种基于中断控制流图的中断验证方法有效
| 申请号： | 201810160219.6 | 申请日： | 2018-02-26 |
| 公开（公告）号： | CN108459963B | 公开（公告）日： | 2021-04-02 |
| 发明（设计）人： | 史建琦;佘庆;黄滟鸿;郭欣;熊家文;毛侠 | 申请（专利权）人： | 华东师范大学;上海华元创信软件有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 刘广达 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于中断控制流图的中断验证方法，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全。本发明采用中断控制流图来描述中断驱动程序的控制流信息，并利用程序切片的技术思想，对中断控制流图进行切片，进而分析验证所述目标代码的时间安全与内存安全。本发明的优点是，提出了中断驱动程序控制流结构的模型—中断控制流图，实现了在同一模型中验证中断驱动程序最常出现的两类问题，提高了中断驱动程序验证的可靠性与安全性。 | ||
| 搜索关键词： | 一种 基于 中断 控制 验证 方法 | ||
【主权项】：
1.一种基于中断控制流图的中断验证方法，其特征在于，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海华元创信软件有限公司，未经华东师范大学;上海华元创信软件有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810160219.6/，转载请声明来源钻瓜专利网。
