只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
论文研究-基于动态符号执行的二进制程序缺陷发现系统.pdf
论文研究-基于动态符号执行的二进制程序缺陷发现系统.pdf
上传者:
39841365
|
上传时间: 2021-09-30 14:15:33
|
文件大小: 982KB
|
文件类型: -
语义提取
动态符号执行
路径调度
二进制程序缺陷发现
以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
文件下载
立即下载
评论信息
其他资源
各种变压器封装库(3D封装文件+原理图文件)
lz4压缩算法源码
微波技术基础答案
mfc简单画图(拖动,缩放,移动图形)
MagicaVoxel体素编辑器
历年国赛题目2004-2019.zip
cpuid.h文件下载
gbk16点阵字库包含繁体字有2w多个字符
STM32 IO Port输入输出引脚配置
spring-data-jpa-examples-源码
STM32F103 UC/OS-II关于各种任务间通信的系列C程序(彩屏显示)
数据结构——迷宫问题
bitmap2material_3_1_3_build_18040_retail.exe
wpuber_signupnew.github.io:静态页面-源码
华成英-模电课件.rar
18.深度解密十八:网络营销推广之百度知道“破隐藏技术”.pdf
COD、TP、NH3-N测定数据分析程序.exe
On Fast Surface Reconstruction Methods for Large and Noisy Point Clouds
Zigbee协议栈高手学习笔记
CCF历年真题源代码.zip
Protel 99 SE 快速入门ppt
UltraISO_v9.32简体中文注册版
RHEL7 搭建 Oracle11g RAC
永讯K-100对讲机原理图-sch格式的protel99se
FineReport8.0.0激活码共享下载
MAX电池电量检测芯片
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
多智能体的编队控制程序的补充(之前上传少了一个文件)
锁相环simulink建模仿真.rar
拾荒者.exe同时ID扫描器IP扫描器
Android小项目——新闻APP(源码)
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
云视通扫描工具.zip
银行笔试 信息科技岗部分真题
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
基于yolov4-keras的抽烟检测(源码+数据集)
基于Python网络爬虫毕业论文.doc
ChinaMeteorologicalDataHandler.R
长江流域shp.zip
avantage 软件 xps 处理软件30天后不能使用问题
全国河流水文站坐标.xls
最新下载
EmersonCT TDS-PA01 SM-RPOFIBUS GSD 文件
seetaface6jni_linux.7z
ippicv-2021.10.0-lnx-intel64-20230919-general.tgz
NodeXL安装包
SAP GUI 750 patch11 第11版补丁修补程序1.zip
HP Array Configuration Utility(ACU)9.40.12.0
KingbaseDTS数据库迁移工具(Java离线版本)
[随书光盘-Satellite Orbits Models, Methods and Applications]
ANSYS18.0热力学有限元分析从入门到精通-教育文档类资源
#eas8.6数据字典#