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

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

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

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

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

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

▪ 基于智能控制的再生铝冶炼炉
▪ 支架安装方便的太阳能光伏组件
▪ 高强度铝合金材料及其制备方法
▪ 全膜法处理光伏单晶硅片废水回用技术
▪ 含重金属的氨氮废水的处理方法
▪ 可智能调节的光伏板组件支架
▪ 多晶硅生产废水的处理回收系统
▪ 高盐含氨废水处理系统及节能运行工艺
▪ 高效冶金真空吸铝装置
▪ 真空感应熔炼炉可调节自动泄压装置

相关失效分析设备推荐

MC-MS4X泵吸四合一多气体检测仪
土壤气体采样器
WS0702便携式土壤通量计
ZHT-49CC汽油动力土钻（土壤采样器）
进口多气体检测仪
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议 中冶有色技术平台 有色金属技术网 中冶有色技术网
展开更多 +

 

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

最新更新技术

▪基于智能控制的再生铝冶炼炉
▪支架安装方便的太阳能光伏组件
▪高强度铝合金材料及其制备方法
▪全膜法处理光伏单晶硅片废水回用技术
▪含重金属的氨氮废水的处理方法
▪可智能调节的光伏板组件支架
▪多晶硅生产废水的处理回收系统
▪高盐含氨废水处理系统及节能运行工艺
▪高效冶金真空吸铝装置
▪真空感应熔炼炉可调节自动泄压装置

报名参会
更多+

2024盐湖资源综合利用与绿色发展创新论坛
2024盐湖资源综合利用与绿色发展创新论坛
2024年12月13日 ~ 15日
2024中国高纯石英资源开发利用大会
2024中国高纯石英资源开发利用大会
2024年12月13日 ~ 15日
全国冶金矿产固废资源化第五届学术会议
全国冶金矿产固废资源化第五届学术会议
2024年12月13日 ~ 15日
2024低空飞行器与轻量化材料论坛
2024低空飞行器与轻量化材料论坛
2024年12月20日 ~ 22日
第二届中国微细粒矿物选矿技术大会
第二届中国微细粒矿物选矿技术大会
2025年03月25日 ~ 27日

报告下载

1 矿产品能力验证计划中样品的选取
下载:135
2 取、制样安全浅析
下载:121
3 取、制样现状及未来规划/需求
下载:97
4 浅谈质量检验管理风险防控的重点
下载:91
5 自动化样品制备助力准确高效的矿
下载:91
6 样品变质引起采制样和结算问题
下载:89
7 矿产品人工取样方案的制定及案例
下载:86
8 不均匀样品给第三方检测机构和贸
下载:83
9 用于X荧光分析的样品前处理及其
下载:83
10 制样室装修设计技巧
下载:81
2024退役新能源器件循环利用技术交流会
推广

热门技术
更多+

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

发布

在线客服

公众号

电话

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