程序分析
本标签列表页为您列举一些程序分析方面的文档。把最新最全的程序分析相关文档推荐给您,让您轻松找到相关文档信息,并提供程序分析相关文档查询解读下载等功能。
模糊测试中的变异策略在约束求解上的应用探究
模糊测试
变异策略
约束求解
0 浏览量2025-07-20上传pdf1.55MB共16页暂未评分
一种基于高阶函数摘要的依赖簇检测方法
高阶函数摘要
依赖簇检测
程序分析
1 浏览量2025-07-20上传pdf8.2MMB共12页暂未评分
基于冗余覆盖信息约简的软件缺陷定位方法
冗余覆盖
信息约简
软件缺陷定位
0 浏览量2025-07-20上传pdf2.21MB共56页暂未评分
文件信息增强的方法级软件缺陷定位
信息增强
软件缺陷定位
方法级分析
1 浏览量2025-07-20上传pdf1.64MB共9页暂未评分
融合句嵌入模型和代码特征的补丁验证方法
补丁验证
句嵌入模型
代码特征
1 浏览量2025-07-20上传pdf2.33MB共28页暂未评分
反编译中内嵌数学库函数恢复技术研究
反编译
数学库函数
函数恢复
1 浏览量2025-07-19上传pdf0.46MB共7页暂未评分
并发程序切片技术的探讨
并发程序
程序切片
切片技术
1 浏览量2025-07-18上传pdf0.2MMB共4页暂未评分
基于多线程的指令相关图并行分析算法
多线程
指令相关图
并行分析
2 浏览量2025-07-18上传pdf1.28MB共8页暂未评分
基于序列模式挖掘和贝叶斯算法的代码克隆检测
代码克隆检测
序列模式挖掘
贝叶斯算法
2 浏览量2025-07-18上传pdf0.58MB共9页暂未评分
基于抽象解释的不变式验证
抽象解释
不变式验证
程序分析
3 浏览量2025-07-18上传pdf0.5MMB共14页暂未评分
基于搜索的软件缺陷修复
搜索
软件缺陷
修复
2 浏览量2025-07-18上传pdf7.62MB共50页暂未评分
混合式漏洞挖掘研究进展
混合式漏洞挖掘
符号执行
模糊测试
2 浏览量2025-07-18上传pdf2.46MB共40页暂未评分
自动程序修复中的缺陷位置与补丁正确性
自动程序修复
缺陷定位
补丁生成
3 浏览量2025-07-17上传pdf0.23MB共4页暂未评分
针对模型转换程序的蜕变测试方法研究
模型转换
蜕变测试
程序分析
3 浏览量2025-07-17上传pdf2.18MB共11页暂未评分
针对特定文件结构和关键指令的符号执行优化方法
符号执行
关键指令
文件结构
3 浏览量2025-07-17上传pdf0.51MB共9页暂未评分