只为小站
首页
域名查询
文件下载
登录
论文研究-基于动态符号执行的
二进制程序缺陷发现
系统.pdf
以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
2021-09-30 14:15:33
982KB
语义提取
动态符号执行
路径调度
二进制程序缺陷发现
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
粒子群算法优化3-5-3多项式工业机器人时间最优轨迹规划算法matlab代码
PLECS中文手册.pdf
vivado 破解 lisence(有效期到2037年) 下载
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
python爬虫数据可视化分析大作业.zip
mingw-w64-install.exe
上帝之眼和拾荒者.rar
2019年秋招—华为硬件工程师笔试题目.pdf
基于MATLAB的水果图像识别
ChinaMeteorologicalDataHandler.R
copula程序及算法.zip
麻雀搜索算法(SSA)优化bp网络
基于MQ2烟雾传感器的STM32F103程序
商用密码应用与安全性评估——霍炜.pdf
最新下载
CRC-4,5,6,7,8,16,32算法.c
深联科技IOT-NODE2530 Zstack测试程序.rar
配网终端加密通讯报文.txt
网站交互设计模式(完整)
AFSim2.9.0 Linux编译指南
VEP视频瞬时加密与提取工具
【Unity精品插件】 - UGUI Super ScrollView v2.5.3
DataX-Oracle新增writeMode支持update
电动轮椅车设计【含全套CAD图纸和WORD说明书】.pdf
西南交通大学现代通信原理课设
其他资源
behavior designer movement pack 1.5.2.txt
Winsteps用户手册3.80
ddcopy1.5.zip
【刘兵(Bing Liu)】Web数据挖掘(pdf+ppt合集)
开源版potplayer视频播放器源码
【39问医生】爬取数据
【老八音源】LaoBa.zip
遥感数字图像处理(内含Matlab)代码
软件工程课程设计项目:基于Maven+SSM搭建的家庭理财管理系统
仪器设备共享管理系统毕业设计
代码+报告 MPIOpenMP混合编程解决N-Body问题 高性能云计算
Matlab最佳经济性换挡规律代码
WPF制作的取色器ColorPicker
基于MATLAB的示波器信号处理系统仿真与实现
WPF实现的圆形进度条
黑苹果万能驱动软件.zip
jdk-8u91-windows-i586.exe
智能化小区网络设计规划18769字46页.doc
mac ftp 下载工具
c# 使用插件wkhtmltopdf
SOLIDWORKS钣金设计实例精解 2013中文版.pdf
马尔科夫随机场在图像分析中的应用-李子青-Markov Random Field Modeling in Image Analysis
二值化阈值的选取方法
51单片机-液晶屏交通灯.
湿度传感器HS1101在智能家居控制系统中的应用
汇编语言电子钟具有秒表功能 校时功能 星期显示 闹钟功能