龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京轩宇信息技术有限公司
摘要：一种用于符号执行的复杂类型输入变量懒符号化方法及系统，包括生成输入驱动文件，通过入口函数指定输入变量和驱动被测函数；分配符号内存；当执行到一条语句时，解释执行和符号执行分别对同一地址上的实际值和符号值进行操作；在执行过程中对内存地址访问时，解释执行直接读写实际值映射表内容；符号执行先检查符号值映射表中该地址上是否存在符号值，存在则直接读写；不存在则创建一个新符号值，符号值映射表中新增一条地址与符号值的映射，再进行正常读写；一次符号执行结束后对收集的约束取反以及求解，最终得到表达式与值的映射关系，生成用例数据文件。本发明针对复杂类型的输入变量，采用懒符号化策略，提升用例的生成速度和降低内存开销。
主权项：1.一种用于符号执行的复杂类型输入变量懒符号化方法，其特征在于包括：生成输入驱动文件，通过入口函数指定输入变量和驱动被测函数；分配符号内存：通过解释执行驱动符号执行的方式从入口函数开始执行，先进行内存分配，记录如下3个映射关系：变量分配地址映射表var_addr_map、实际值映射表value_map和符号值映射表sym_map；当执行到一条语句时，解释执行和符号执行分别对同一地址上的实际值和符号值进行操作；一个变量或表达式在实际值映射表value_map和符号值映射表sym_map中的地址完全一致；在执行过程中对内存地址访问时，解释执行直接读写实际值映射表value_map中的内容；符号执行需先检查符号值映射表sym_map中该地址上是否存在符号值，若存在则直接读写；若不存在则创建一个新符号值，符号值映射表sym_map中新增一条地址与符号值的映射，然后进行正常读写操作；当执行到分支节点时由解释执行决定下一个待执行语句，符号执行把该分支节点判定语句的符号值添加到约束中；一次符号执行结束后对收集的约束取反以及求解，得到符号值对应的值，进一步得到内存地址与值的对应关系，然后转换为输入表达式与值的映射关系，生成用例数据文件；执行过程结束。
全文数据：
权利要求：
百度查询： 北京轩宇信息技术有限公司 用于符号执行的复杂类型输入变量懒符号化方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号