公开(公告)号：CN117312137A

公开(公告)日：2023-12-29

申请号：CN202311154956.2

申请日：2023-09-07

Applicant: 西安电子科技大学

Inventor： 于斌 ,  刘元哲 ,  邢恒睿 ,  王宇兴 ,  林滕劼 ,  李鸿 ,  杨铠铭 ,  陆旭 ,  田聪 ,  王小兵 ,  赵亮

IPC: G06F11/36 ,  G06F9/48

Abstract: 本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置，该方法包括：确定中断驱动程序对应的所有节点中的中断节点，以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程；根据中断驱动程序生成可达树，得到所有节点中各个节点的原始状态；根据可达树的路径走向确定待处理的中断节点，针对每个待处理的中断节点的原始状态对应的程序语句对中断驱动程序中的共享变量的访问情况、以及会受影响的中断服务例程对共享变量的访问情况，确定原始状态是否存在对应的中断触发状态，并当存在时，生成中断触发状态的后继状态流，并记录对每个共享变量的访问信息，根据记录的访问信息和不可序列化的交织模式，检测原子性违反缺陷。