An interrupt verification system based on interrupt control flow diagram includes: code conversion module for acquiring assembly code according to interrupt driver; interrupt information statistics module for statistical interrupt information according to assembly code; control flow diagram generation module for generating control flow diagram according to assembly code; interrupt control flow diagram The generation module generates an interrupt control flow diagram according to the control flow diagram and the interrupt information; the processing module is used for slicing the interrupt control flow diagram; and the analysis module verifies the time security and memory security of the interrupt driver according to the slicing of the interrupt control flow diagram. The invention proposes a new model for representing the structure of interrupt driver control flow, i.e. interrupt control flow graph, and provides a method for reducing the scale (slice) of interrupt control flow graph. The method realizes two kinds of problems which are most common in verifying interrupt driver in the same model, and improves the reliability and security of interrupt driver verification. Full nature.
【技术实现步骤摘要】
一种基于中断控制流图的中断验证系统
本专利技术涉及计算机代码静态分析领域,特别是涉及一种基于中断控制流图的中断验证系统,用于验证中断驱动程序的时间安全与内存安全。
技术介绍
当今,信息技术与移动互联网的发展日新月异,嵌入式实时系统的发展也取得了令人瞩目的进步,并且广泛应用于计算机相关产业,如:制造、医疗、交通以及通信等各个行业。除此之外,包括能源、航天、军事等关键领域都大量应用了嵌入式实时系统,因此一旦这些系统发生错误,将会造成不可估量的损失,那么实时系统工作的正确性与可靠性就显得尤为重要。实际上,实时系统工作的正确性与可靠性不仅取决于系统运行所产生的结果,同时也依赖于产生结果所需的时间,即本专利
中熟知的deadline(死亡时限)。然而在实践中,有关实时系统的正确性验证是非常困难的,特别时间性质是否满足要求的验证,因为通常系统的运行环境具有相对随机性和复杂性,这也就使得系统运行的相关命令的执行时间是不可预测的。因此,时间性质的正确验证至关重要。通过引入中断处理程序可以有效的解决上述问题,当一个暂停指令(由中断导致的)执行时,CPU会暂停当前正在执行的程序并转去执行中断处理ISR(InterruptServiceRoutine),当指令执行完毕后,CPU会继续执行之前被暂停的程序。但是,通常一个中断驱动程序中具有大量的并且不同的中断源(发出中断请求信号的来源),甚至大多数实时系统都支持中断处理程序中嵌套中断,通过一个中断可以被具有更高优先级的中断打断而实现,这些情况导致了中断处理程序同样具有随机性和复杂性。此外,由于中断机制的引入,使得中断驱动程序 ...
【技术保护点】
1.一种基于中断控制流图的中断验证系统,其特征在于,包括:代码转换模块,用于根据中断驱动程序获取汇编代码;中断信息统计模块,根据所述汇编代码统计中断信息;控制流图生成模块,根据所述汇编代码生成控制流图;中断控制流图生成模块,根据所述控制流图与所述中断信息生成中断控制流图;处理模块,用于对所述中断控制流图切片处理;分析模块,根据所述中断控制流图切片,验证所述中断驱动程序的时间安全与内存安全。
【技术特征摘要】
1.一种基于中断控制流图的中断验证系统,其特征在于,包括:代码转换模块,用于根据中断驱动程序获取汇编代码;中断信息统计模块,根据所述汇编代码统计中断信息;控制流图生成模块,根据所述汇编代码生成控制流图;中断控制流图生成模块,根据所述控制流图与所述中断信息生成中断控制流图;处理模块,用于对所述中断控制流图切片处理;分析模块,根据所述中断控制流图切片,验证所述中断驱动程序的时间安全与内存安全。2.根据权利要求1所述的系统,其特征在于,所述中断驱动程序包括:主控程序与中断处理程序。3.根据权利要求1所述的系统,其特征在于,所述中断信息包括:节点、所述节点中的中断处理程序、所述节点中的中断处理程序的优先级。4.根据权利要求1或2所述的系统,其特征在于,所述控制流图生成模块包括:主控控制流图生成单元,用于根据驱动程序中的主控程序的汇编代码生成主控控制流图;中断处理控制流图生成单元,用于根据驱动程序中的中断处理程序的汇编代码生成中断处理控制流图。5.根据权利要求4所述的系统,其特征在于,所述中断控制流图生成模块利用所述中断信息将所述主控控制流图与所述中断处理控制流图结合,从而获得中断控制力图。6.根据权利要求5所述的系统,其特征在于,所述中断控制流图、所述中断处理控制流图和所述主控控制流图,均以包括:节点集合与有向边集合的数学模型进行保存。7.根据权利要求6所述的系统,其特征在于,...
【专利技术属性】
技术研发人员:史建琦,佘庆,黄滟鸿,郭欣,熊家文,毛侠,
申请(专利权)人:华东师范大学,上海华元创信软件有限公司,
类型:发明
国别省市:上海,31
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。