温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本发明公开了一种面向中断驱动型程序的寄存器访问冲突检测方法,本发明包括针对给定含寄存器访问操作的嵌入式中断驱动型程序,完成基于寄存器数组变量的寄存器访问操作语义表示;针对转换后的嵌入式中断驱动型程序,依次进行基于静态分析的寄存器访问冲突初步...该专利属于中国工程物理研究院电子工程研究所所有,仅供学习研究参考,未经过中国工程物理研究院电子工程研究所授权不得商用。
温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本发明公开了一种面向中断驱动型程序的寄存器访问冲突检测方法,本发明包括针对给定含寄存器访问操作的嵌入式中断驱动型程序,完成基于寄存器数组变量的寄存器访问操作语义表示;针对转换后的嵌入式中断驱动型程序,依次进行基于静态分析的寄存器访问冲突初步...