合肥金星智控科技股份有限公司
宣传

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

> 支持多维数组的符号执行方法及漏洞检测系统

支持多维数组的符号执行方法及漏洞检测系统

750   编辑：管理员   来源：中冶有色技术网  
2023-03-19 08:59:59
本发明公开了一种支持多维数组的符号执行方法及漏洞检测系统。该方法在程序输入值为复杂数据结构时，依据手动设置和自动调整获得的最佳固定长度值，懒初始化复杂数据结构，在访问复杂数据结构时，通过判断访问偏移量的有效性，初始化调用的数据类型并获取具体数值，依据访问结果，调用约束求解器对路径条件的可满足性进行求解，调用程序计数器，触发计算目标代码的具体值。该漏洞检测系统包含程序指令分析模块、参数分析模块、符号引擎模块及测试引擎模块。本发明解决了在符号执行时针对复杂数据结构懒初始化失效问题，能够确保复杂数据结构符号化的准确性，提高复杂数据结构情况下符号执行的程序稳定性。
声明：
“支持多维数组的符号执行方法及漏洞检测系统” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签：
失效分析
上一个：光伏组件的机械耐受性检测系统
下一个：感烟火灾探测器响应阈值在线检测装置

与 “支持多维数组的符号执行方法及漏洞检测系统” 相关技术

▪ 烟气低温SCR脱硝技术
▪ 闪速流态化焙烧设备制备高活性稀土化合物
▪ 陶瓷颗粒增强钢铁基复合材料制备技术及应用
▪ 磁流体晶核诱导净化技术
▪ 高砷污酸胶囊缓释硫化除砷技术
▪ 连铸机新型驱动装置
▪ 方便除杂的电催化氧化设备
▪ 轧机支承辊用新型FCDP类四列圆柱滚子轴承
▪ 镁合金铸造技术领域的相关技术
▪ 基于金属离子配位调控分子组装理论的复杂钨矿浮选新技术

相关失效分析设备推荐

土壤养分检测仪
区域监测多气体检测仪
GasAlertMax XT II加拿大BW泵吸式多气体检测仪
X射线荧光光谱仪
数显式万能试验机MDW-S（单臂式）
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议
展开更多 +

 

中冶有色技术平台微信公众号
了解更多信息请您扫码关注官方微信
中冶有色技术平台微信公众号中冶有色技术平台

最新更新技术

▪烟气低温SCR脱硝技术
▪闪速流态化焙烧设备制备高活性稀土化合物
▪陶瓷颗粒增强钢铁基复合材料制备技术及应用
▪磁流体晶核诱导净化技术
▪高砷污酸胶囊缓释硫化除砷技术
▪连铸机新型驱动装置
▪方便除杂的电催化氧化设备
▪轧机支承辊用新型FCDP类四列圆柱滚子轴承
▪镁合金铸造技术领域的相关技术
▪基于金属离子配位调控分子组装理论的复杂钨矿浮选新技术

报名参会
更多+

2024高分子材料合成与表征技术研讨会
2024高分子材料合成与表征技术研讨会
2024年08月01日 ~ 03日
2024胶凝材料制备与应用技术交流会
2024胶凝材料制备与应用技术交流会
2024年08月07日 ~ 09日
第三届全国难熔金属及硬质合金技术研讨会
第三届全国难熔金属及硬质合金技术研讨会
2024年08月30日 ~ 09月01日
2024中国铅锌产业科技大会
2024中国铅锌产业科技大会
2024年09月19日 ~ 21日
2024全国高温合金材料制备与应用技术交流会
2024全国高温合金材料制备与应用技术交流会
2024年09月20日 ~ 22日

报告下载

1 实验室管理与实践
下载:53
2 化学实验室暖通系统设计新趋势
下载:50
3 矿产品样品制备要点与难点分析
下载:45
4 质检部门风险防控管理的探讨 （矿
下载:42
5 ICP-MS/MS测定有色金属中
下载:38
6 电位滴定仪在有色金属分析的应用
下载:34
7 电位滴定法在北矿检测实验室的应
下载:33
8 浅谈检验检测风险防控管理及要点
下载:33
9 国家标准《铜精矿及主要含铜物料
下载:32
10 全面禁止洋垃圾入境形势下的固废
下载:32
第二届关键基础材料模拟、制备与评价技术交流会
推广

热门技术
更多+

1水电站的尾水预埋件
2压力平衡机构
3防爆阀保护膜
4化工矿产有色金属的检测机构
5矿石分类与实时定量分析的光谱检测新方法
6矿石中有色金属成分和含量的检测装置
7有色金属现货状态评估系统及方法
8有色金属废料中铁磁性杂质检测设备及检测工艺
9高温熔体缓冷装置及渣包测温方法
10便携式矿山测量激光仪
衡水宏运压滤机有限公司
宣传
环磨科技控股（集团）有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话：
010-88793500-807
专利人/作者信息登记