只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
论文研究-基于动态符号执行的二进制程序缺陷发现系统.pdf
论文研究-基于动态符号执行的二进制程序缺陷发现系统.pdf
上传者:
39841365
|
上传时间: 2021-09-30 14:15:33
|
文件大小: 982KB
|
文件类型: -
语义提取
动态符号执行
路径调度
二进制程序缺陷发现
以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
文件下载
立即下载
评论信息
其他资源
fmath-mathml-java-latex-mathml.jar.rar
c#(Winform)模拟ATM系统
c#操作摄像头(带着usb摄像头、mjpeg-streamer的uvc摄像头、网络h264摄像头)
NER中文命名实体识别数据集
HTML页面音乐播放代码
Arduino比例遥控车程序
表格数据处理matlab程序
三旋翼机STM32飞控源码
protege3.x教程的项目源代码
丰田培训-CROWN-CAN-(控制局域网).ppt
UNIX时间与定时器.pdf
JAVA进销存系统设计源码及(文档+数据库+代码)
电脑桌面飘落雪花小程序
使用Qt做的仿QQ的聊天室
粘连字符分割、字符识别、车牌分割
联想台式机USB3.0驱动
轴承三维实体模型
量子计算和量子信息(量子计算部分)
Android选择图片并裁剪(支持5.0)
node_exporter-0.18.1.linux-amd64.tar.gz
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
YOLOv5 人脸口罩图片数据集
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
计算机专业实习日记+实习周记+实习总结
EEMD算法应用于信号去噪.rar
MATLAB之LSTM预测
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
航迹融合算法MATLAB仿真程序
Spring相关的外文文献和翻译(含出处).zip
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
基于STM32的电子时钟设计
银行笔试 信息科技岗部分真题
人体姿态检测
风电场风速及功率数据.zip
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
最新下载
STM32F407SD卡IAP升级
联想X201图纸+点位图.rar
python 开发51商城的程序源码含数据库+详细配置使用说明书
Python图书馆管理系统课设项目 +源码+高分项目
航空发动机模型包.rar
NQueens可视化:n皇后问题的可视化
可视化N皇后问题解决
小蚁智能摄像头夜视版(YHS-113)固件升级包
AccessToExcel access导出到excel软件 v3.4官方版
MIPS数字标牌信息发布系统_标准版本_FREE V4.0.0.zip