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

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

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

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

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

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

▪ 移动式混汞提金设备固液分离装置
▪ 石墨选矿用烘干装置
▪ 保护大鳞片并有效精细分级的石墨选矿系统
▪ 电加热回转烘干装置
▪ 环保工程污水处理超滤膜技术
▪ 强酸高磷含镍废水除磷除镍处理方法
▪ 利用锂云母冶炼渣吸附水体中铅离子的方法
▪ 钽铌冶炼废水的处理方法
▪ 利用碳化硅废渣冶炼富锰渣的混合搅拌装置
▪ 镍钴冶炼废硫酸浓缩脱氟氯工艺及系统

相关失效分析设备推荐

车间液氨检测报警器
恒美多功能土壤测试仪
JTC2系列金属探测器
加重型彼得逊采泥器/抓斗式采泥器/304不锈钢底泥采样器
土壤水分温度电导率测定仪
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议 中冶有色技术平台 有色金属技术网 中冶有色技术网
展开更多 +

 

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

最新更新技术

▪移动式混汞提金设备固液分离装置
▪石墨选矿用烘干装置
▪保护大鳞片并有效精细分级的石墨选矿系统
▪电加热回转烘干装置
▪环保工程污水处理超滤膜技术
▪强酸高磷含镍废水除磷除镍处理方法
▪利用锂云母冶炼渣吸附水体中铅离子的方法
▪钽铌冶炼废水的处理方法
▪利用碳化硅废渣冶炼富锰渣的混合搅拌装置
▪镍钴冶炼废硫酸浓缩脱氟氯工艺及系统

报名参会
更多+

2025全国三稀矿产资源技术交流会
2025全国三稀矿产资源技术交流会
2025年01月03日 ~ 05日
2025全国碳纤维与复合材料应用技术创新论坛
2025全国碳纤维与复合材料应用技术创新论坛
2025年01月03日 ~ 05日
2025工业废水处理与资源化利用交流会
2025工业废水处理与资源化利用交流会
2025年01月03日 ~ 05日
第二届中国微细粒矿物选矿技术大会
第二届中国微细粒矿物选矿技术大会
2025年03月25日 ~ 27日
2024新能源矿产资源科技创新发展论坛
2024新能源矿产资源科技创新发展论坛
2025年04月27日 ~ 29日

报告下载

1 矿产品能力验证计划中样品的选取
下载:136
2 取、制样安全浅析
下载:124
3 取、制样现状及未来规划/需求
下载:99
4 自动化样品制备助力准确高效的矿
下载:92
5 浅谈质量检验管理风险防控的重点
下载:92
6 样品变质引起采制样和结算问题
下载:89
7 矿产品人工取样方案的制定及案例
下载:86
8 用于X荧光分析的样品前处理及其
下载:85
9 制样室装修设计技巧
下载:84
10 不均匀样品给第三方检测机构和贸
下载:84
第二届中国微细粒矿物选矿技术大会
推广

热门技术
更多+

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

发布

在线客服

公众号

电话

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