首页/ 上海华元创信软件有限公司/ 专利详情

一种基于中断控制流图的中断验证方法

基本信息

申请号 CN201810160219.6 申请日 -
公开（公告）号 CN108459963B 公开（公告）日 2021-04-02
申请公布号 CN108459963B 申请公布日 2021-04-02
分类号 G06F11/36(2006.01)I 分类 计算；推算；计数;
发明人 史建琦;佘庆;黄滟鸿;郭欣;熊家文;毛侠 申请（专利权）人 上海华元创信软件有限公司
代理机构 北京辰权知识产权代理有限公司 代理人 刘广达
地址 200062上海市普陀区中山北路3663号
法律状态 -

摘要

摘要 本发明公开了一种基于中断控制流图的中断验证方法，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全。本发明采用中断控制流图来描述中断驱动程序的控制流信息，并利用程序切片的技术思想，对中断控制流图进行切片，进而分析验证所述目标代码的时间安全与内存安全。本发明的优点是，提出了中断驱动程序控制流结构的模型—中断控制流图，实现了在同一模型中验证中断驱动程序最常出现的两类问题，提高了中断驱动程序验证的可靠性与安全性。