只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
论文研究-基于动态符号执行的二进制程序缺陷发现系统.pdf
论文研究-基于动态符号执行的二进制程序缺陷发现系统.pdf
上传者:
39841365
|
上传时间: 2021-09-30 14:15:33
|
文件大小: 982KB
|
文件类型: -
语义提取
动态符号执行
路径调度
二进制程序缺陷发现
以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
文件下载
立即下载
评论信息
其他资源
jsp+servlet请假系统
PMSM_ADRC.zip
Android购物车demo(多店铺带商品,类似京东购物车)
雨滴传感器模块
Ssdun网络验证EasyClick例子新版.zip
心电图小波去噪(附有代码)
代码相似度检测
PTA基础编程答案
FFTW ARM cortex-A 平台测试程序
华为PCB布线规范(详细)
《机器学习》西瓜书手推笔记第9版(可打印).rar
CGAL Arrangements and Their Applications A Step-by-Step Guide
最新汽车继电器基础知识.ppt
我的网站-源码
江苏省电力公司配电网技术导则实施细则-试行.pdf
java web租车系统.7z
AGENT和多AGENT系统的设计与应用
交通灯设计VHDL
proteus单片机仿真串口汽车防夹
RMI应用实例及实验报告
asp.net在线考试系统(简单、齐全、仅供学习)
rfc 规范 中文版 合集
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Autojs 例子 源码 1600多个教程源码
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
全国河流水文站坐标.xls
IEEE33节点配电网Simulink模型.rar
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
quartus II13.0器件库.zip
pytorch实现RNN实验.rar
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
Steam离线安装版
王万良-人工智能导论(第五版)课件
2020年数学建模国赛C题论文
刚萨雷斯《数字图像处理》第四版答案.pdf
Keil5安装包
云视通扫描工具.zip
最新下载
61850规约中文正式版.rar
带端点延拓的EMD和原始EMD的matlab程序
amtemu.v0.9.2-painter
ActorXImporter.rar
RSA加密算法的实现
8位纯数字字典
Huygens Principle Simulation:证明惠更斯原理有效性的程序-matlab开发
Android.bp文件说明.pdf
PLL Performance, Simulation, and Design中文版
PCA9685_MG996R.rar