龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：交控科技股份有限公司
摘要：本公开的实施例提供了控制流校验方法、装置、设备及存储介质。所述方法包括当程序跳转到当前代码块时，获取前一代码块的静态签名及监督码；根据当前代码块的调整码与前一代码块的监督码，执行校验运算，并根据校验运算的结果判断是否发生控制流错误；若校验通过，则根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误；其中，代码块的静态签名为互不相同的素数；代码块的调整码为所述代码块的静态签名与所述代码块在目标顺序中的前一代码块的静态签名的乘积，所述目标顺序为代码块的序号标识由小到大首尾排列顺序。以此方式，可以实现对程序在各控制节点间跳转次序的监督，且准确检出控制流错误。
主权项：1.一种控制流校验方法，其特征在于，所述方法包括：当程序跳转到当前代码块时，获取前一代码块的静态签名及监督码；根据当前代码块的调整码与前一代码块的监督码，执行校验运算，并根据校验运算结果判断是否发生控制流错误；若校验通过，则根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误；其中，代码块的静态签名为互不相同的素数；代码块的调整码为所述代码块的静态签名与所述代码块在目标顺序中的前一代码块的静态签名的乘积，所述目标顺序为代码块的序号标识由小到大首尾排列顺序；根据校验运算生成所述当前代码块的监督码，包括将当前代码块的调整码与前一代码块的监督码的商作为所述当前代码块的监督码；所述根据校验运算结果判断是否发生控制流错误，包括当所述当前代码块的调整码可以被前一代码块的监督码整除时，校验通过；当所述当前代码块的调整码不能被前一代码块的监督码整除时，所述控制流跳转错误；所述根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误，包括当所述监督码与所述当前代码块的静态签名相等时，所述控制流跳转正确；当所述监督码与所述当前代码块的静态签名不相等时，所述控制流跳转错误。
全文数据：
权利要求：
百度查询： 交控科技股份有限公司 控制流校验方法、装置、设备及存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号