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