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

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

【技术实现步骤摘要】
一种基于中断控制流图的中断验证方法
本专利技术涉及计算机代码静态分析领域，特别是涉及一种基于中断控制流图的中断验证方法，用于验证中断驱动程序的时间安全与内存安全。
技术介绍
当今，信息技术与移动互联网的发展日新月异，嵌入式实时系统的发展也取得了令人瞩目的进步，并且广泛应用于计算机相关产业，如：制造、医疗、交通以及通信等各个行业。除此之外，包括能源、航天、军事等关键领域都大量应用了嵌入式实时系统，因此一旦这些系统发生错误，将会造成不可估量的损失，那么实时系统工作的正确性与可靠性就显得尤为重要。实际上，实时系统工作的正确性与可靠性不仅取决于系统运行所产生的结果，同时也依赖于产生结果所需的时间，即本专利
中熟知的deadline(死亡时限)。然而在实践中，有关实时系统的正确性验证是非常困难的，特别时间性质是否满足要求的验证，因为通常系统的运行环境具有相对随机性和复杂性，这也就使得系统运行的相关命令的执行时间是不可预测的。因此，时间性质的正确验证至关重要。通过引入中断处理程序可以有效的解决上述问题，当一个暂停指令(由中断导致的)执行时，CPU会暂停当前正在执行的程序并转去执行中断处理I本文档来自技高网...

【技术保护点】
1.一种基于中断控制流图的中断验证方法，其特征在于，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全。

【技术特征摘要】
1.一种基于中断控制流图的中断验证方法，其特征在于，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全。2.根据权利要求1所述的方法，其特征在于，所述中断驱动程序包括：主控程序与中断处理程序。3.根据权利要求2所述的方法，其特征在于，所述主控程序能够被中断处理程序中断，所述中断处理程序用于处理中断任务，具有优先级，具有低优先级的中断处理程序可以被具有更高优先级的中断处理程序中断。4.根据权利要求1所述的方法，其特征在于，所述根据汇编代码构建中断控制流图，包括：根据汇编代码获得中断信息；根据所述汇编代码获得主控控制流图与中断处理控制流图。5.根据权利要求4所述的方法，其特征在于，所述中断信息包括：节点、所述节点中的中断处理程序、所述节点中的中断处理程序的优先级。6.根据权利要求4所述的方法，其特征在于，所述中断控制流图通过所述中断信息将所述主控控制流图与所述中断处理控制流图相结合获得。7.根据权利要求6所述的方法，其特征在于，所述主控控制流图与所述中断处理控制流图均为有向图，用数学模型进行表示，该数学模型包括：节点集合与有向边集合。8.根据权利要求7所述的方法，其特征在于...

【专利技术属性】
技术研发人员：史建琦，佘庆，黄滟鸿，郭欣，熊家文，毛侠，
申请(专利权)人：华东师范大学，上海华元创信软件有限公司，
类型：发明
国别省市：上海,31