下载一种面向中断驱动程序的原子性违反缺陷检测方法及装置的技术资料

文档序号:39930114

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置,该方法包括:确定中断驱动程序对应的所有节点中的中断节点,以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程;根据中断驱动程序生成可达树,得到所有节点中各个节点的原始状...
该专利属于西安电子科技大学所有,仅供学习研究参考,未经过西安电子科技大学授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。