- 1、本文档共10页,其中可免费阅读9页,需付费10金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一种用于符号执行的复杂类型输入变量懒符号化方法及系统,包括生成输入驱动文件,通过入口函数指定输入变量和驱动被测函数;分配符号内存;当执行到一条语句时,解释执行和符号执行分别对同一地址上的实际值和符号值进行操作;在执行过程中对内存地址访问时,解释执行直接读写实际值映射表内容;符号执行先检查符号值映射表中该地址上是否存在符号值,存在则直接读写;不存在则创建一个新符号值,符号值映射表中新增一条地址与符号值的映射,再进行正常读写;一次符号执行结束后对收集的约束取反以及求解,最终得到表达式与值的映射关系,
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 114896145 A
(43)申请公布日 2022.08.12
(21)申请号 202210453325.X
(22)申请日 2022.04.27
(71)申请人 北京轩宇信息技术有限公司
地址 1
您可能关注的文档
- 一种实验室玻璃仪器加工用可提高冷却效率的冷却装置.pdf
- 一种饮料包装袋加工的原料分切设备.pdf
- 岩体产状信息测量方法.pdf
- 自清洁水龙头控制阀及应用其的自清洁水龙头.pdf
- 一种可逆有机膨润土及其制备方法与应用.pdf
- 一种用于检测筛选乙酰胆碱酯酶抑制剂的纤维素基传感器材料及其制备方法和应用.pdf
- 一种缺陷态声学超材料的亥姆霍兹共振效应声电收集装置及方法.pdf
- 一种透镜组件.pdf
- 一种新型的电桥传感器信号调理电路及方法.pdf
- 高抗浪涌能力的碳化硅结势垒肖特基二极管及其生产工艺.pdf
- 建筑电气工程施工质量验收规范GB50303-2015知识培训.pdf
- 新型肠道清洁剂的前世今生.pdf
- 2024年《学考精练》数学九年级全册北师大版教学 第二章 一元二次方程 6 应用一元二次方程(第二课时).pdf
- 2024年《学考精练》数学七年级上册北师大版 第三章 整式及其加减 3.2 整式的加减 第一课时 合并同类项.pdf
- 生产建设项目水土保持技术标准(GB50433-2018)知识培训.pdf
- 《GB 17625.1-2022电磁兼容 限值 第1部分:谐波电流发射限值(设备每相输入电流≤16A.pdf
- 火灾自动报警系统组件兼容性要求 GB22134-2008专题培训.pdf
- 2024年《学考精练》数学七年级上册北师大版 第二章 有理数及其运算 2.5 有理数的混合运算 第二课时 用计算器进行运算.pdf
- 2024年《学考精练》数学七年级上册北师大版 第四章 基本平面图形 第一课时 角.pdf
- 《建筑防烟排烟系统技术标准》GB51251-2017知识培训.pdf
提供农业、铸造、给排水、测量、发电等专利信息的免费检索和下载;后续我们还将提供提供专利申请、专利复审、专利交易、专利年费缴纳、专利权恢复等更多专利服务。并持续更新必威体育精装版专利内容,完善相关专利服务,助您在专利查询、专利应用、专利学习查找、专利申请等方面用得开心、用得满意!
文档评论(0)