龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京关键科技股份有限公司
摘要：本发明涉及代码路径分析领域，尤其涉及基于汽车代码抽象语法树的动态符号执行与约束解析方法，包括,对编程语言进行解析，生成抽象语法树；初始化动态符号执行引擎，利用动态符号执行引擎遍历抽象语法树，对抽象语法树的节点进行访问和分析；根据既定的操作指令对指令执行路径进行模拟探索，根据代码的操作确定可执行的代码执行信息传输路径；通过约束求解器处理代码执行信息传输路径约束，对路径约束进行求解，判断是否存在可行解；确定能够完成指令路径或对存有问题的指令路径进行报警；对于能够进行指令传输的代码执行信息传输路径，进行信号发送频率的确定。本发明保障了代码能够内的执行的信息能够到达指令目标，增加代码的可执行性。
主权项：1.基于汽车代码抽象语法树的动态符号执行与约束解析方法，其特征在于，对编程语言进行解析，生成抽象语法树；初始化动态符号执行引擎，利用动态符号执行引擎遍历抽象语法树，对抽象语法树的节点进行访问和分析；根据既定的操作指令对指令执行路径进行模拟探索，在执行过程中，根据代码的操作确定可执行的代码执行信息传输路径；通过约束求解器处理代码执行信息传输路径约束，对路径约束进行求解，判断是否存在可行解；确定能够完成指令路径或对存有问题的指令路径进行报警；对于能够进行指令传输的代码执行信息传输路径，进行信号发送频率的确定。
全文数据：
权利要求：
百度查询： 北京关键科技股份有限公司 基于汽车代码抽象语法树的动态符号执行与约束解析方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号