程序插桩

作品数:26被引量:77H指数:5
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:张颖黄罡苏铭王华张鹏程更多>>
相关机构:南京大学北京大学南京航空航天大学电子科技大学更多>>
相关期刊:《计算机应用》《航天器工程》《计算机技术与发展》《计算机工程与设计》更多>>
相关基金:国家自然科学基金西安市科技计划项目陕西省教育厅科研计划项目江苏省自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
SSFuzz:状态敏感的网络协议服务灰盒模糊测试技术
《计算机科学》2024年第12期71-78,共8页林家含 冉猛 彭建山 
河南省重大科技专项(221100240100)。
网络协议服务作为个人设备与互联网交互的接口,其脆弱性严重威胁用户的隐私和信息安全。最先进的网络协议灰盒模糊测试工具在代码覆盖率的基础上引入了状态反馈,通过分析网络协议服务的状态信息,进一步筛选有效的变异种子。但是,不同的...
关键词:网络协议 模糊测试 程序插桩 状态反馈 
面向嵌套分支突破的推断与污点分析融合的方法
《计算机应用》2024年第12期3823-3830,共8页蔡锦辉 尹中旭 宗国笑 李俊儒 
河南省重点研发专项(221111210300)。
针对当前基于污点推断的模糊测试主要集中于目标代码块内单一代码分支的分析,而未充分考虑上下文分支间的关联关系,导致面对嵌套分支时对代码分支相关字节位置推断不够精确的问题,提出一种面向嵌套分支突破的推断与污点分析融合的方法...
关键词:模糊测试 污点推断 污点分析 程序插桩 漏洞挖掘 
基于行为监测的嵌入式操作系统堆栈溢出测试被引量:1
《计算机工程与科学》2022年第11期1918-1923,共6页杨兴达 陈灿 方菱 
安徽省重点研究与开发计划(202004a05020041)。
堆栈测试是嵌入式操作系统安全评估的重要环节,堆栈溢出会覆盖邻近堆栈中的数据,造成数据错乱进而引发系统崩溃。然而捕获并定位堆栈溢出具有一定难度。首先,溢出数据可能会侵占操作系统中其它任务的私有堆栈,而发生溢出的任务本身没有...
关键词:操作系统 程序插桩 堆栈测试 动态测试 
基于Adaboost模型的并发程序数据竞争语句级检测被引量:2
《计算机工程》2021年第12期215-220,共6页孙家泽 易刚 舒新峰 
陕西省重点研发计划项目(2020GY-010);西安市产业研究项目(2019218114GXRC017CG018-GXYD17.10);西安邮电大学研究生创新基金(CXJJLY2019051)。
针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并...
关键词:数据竞争 并发程序 程序插桩 Adaboost模型 语句级 
基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法被引量:1
《计算机科学》2021年第11期89-101,共13页肖锋 张鹏程 罗夏朴 
中央高校基本科研业务费专项资金(B210203107);国家自然科学基金(6157217);江苏省自然科学基金(BK20191297)。
作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上。由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要。当前研究人员已经提出了许多智能合约...
关键词:以太坊 智能合约 SOLIDITY 正则表达式 程序插桩 
基于执行路径的模糊测试漏洞挖掘方法被引量:3
《中国新通信》2020年第1期43-44,共2页林亮成 国涛 封保占 
由于近年来软件被攻击和利用情况越来越多,漏洞挖掘已成为互联网安全中一个重要研究领域。模糊测试作为一种高效的漏洞挖掘技术,逐渐成为漏洞挖掘中的研究热点。本文利用模糊测试思想,通过用例变异生成的方式来获取新的测试用例,并利用...
关键词:漏洞挖掘 模糊测试 程序插桩 执行路径 
面向二进制程序的导向性模糊测试方法被引量:2
《计算机应用》2019年第5期1389-1393,共5页张瀚方 周安民 贾鹏 刘露平 刘亮 
国家重点研发计划项目(2017YFB0802900);CCF-启明星辰"鸿雁"科研资助计划项目(CCF-VenustechRP2017002)~~
为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题,提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍...
关键词:导向性模糊测试 反馈式模糊测试 二进制模糊测试 程序插桩 漏洞挖掘 
一种星载操作系统进程安全监控设计被引量:2
《航天器工程》2018年第2期81-87,共7页杨朋霖 陶利民 王海涛 
国防科技创新特区项目(高可信星载操作系统)
太空网络环境具有开放性、随遇接入等特性,处于这种环境下的星载操作系统将面临来自网络的干扰和攻击等安全威胁。为此,文章提出了一种星载操作系统进程安全监控设计。通过插桩技术对星载操作系统的进程控制块数据和控制流数据进行采集...
关键词:星载操作系统 进程安全 程序插桩 可信计算 
Java自动化基本路径测试技术研究被引量:3
《计算机测量与控制》2018年第4期70-73,共4页冯俊池 赵颖 连尧 尹党辉 安丰亮 
针对Java单元测试自动化程度和测试效率较低的问题,对基于Java程序的基本路径测试方法进行研究,提出了基于Java代码的基本路径生成方法和程序插桩方法,给出了插桩节点和控制流图节点的定义;首先,通过对Java源代码进行分析,构建程序的控...
关键词:基本路径 控制流图 单元测试 程序插桩 
一种基于探针的软件事件监控设计
《上海船舶运输科学研究所学报》2015年第4期38-43,共6页郁立虎 何勰 
针对当前船舶电力系统控制软件的规模更加庞大、体系结构更加复杂、细粒度对软件进行监控更为困难的特点,主要介绍基于探针定位和程序运行的散点、树型软件事件监测模型的构建方法,获取监测事件的执行情况。在程序插桩、数据挖掘等技术...
关键词:探针 程序插桩 事件监测模型 故障分析 
检索报告 对象比较 聚类工具 使用帮助 返回顶部