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

本发明公开了一种基于语义解释和合法栈约束的特殊控制流跳转程序验证方法。C语言中的特殊控制流语句包括setjmp，其用于记录程序的返回点状态，以及longjmp函数，其用于无条件跳转至setjmp所记录的位置。使用LLVM，一种提供了统一中间...
该专利属于南京航空航天大学所有，仅供学习研究参考，未经过南京航空航天大学授权不得商用。

详细技术文档下载地址

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