搜索到461篇“ 程序插桩“的相关文章
程序方法、装置、设备和存储介质
本申请提供一种程序方法、装置、设备和存储介质,涉及计算机技术领域。该方法包括:获取待分析程序,待分析程序为二进制程序;基于分析需求,识别待分析程序中的冗余指令,确定待入的函数,冗余指令为与待分析程序的原始语义和/...
张超殷婷婷
程序方法、装置、设备和存储介质
本申请提供一种程序方法、装置、设备和存储介质,涉及计算机技术领域。该方法包括:获取待分析程序,待分析程序为二进制程序;基于分析需求,识别待分析程序中的冗余指令,确定待入的函数,冗余指令为与待分析程序的原始语义和/...
张超殷婷婷
基于机器学习的静态程序检测方法及装置
本发明公开了一种基于机器学习的程序检测方法及装置,属于网络安全技术领域。所述方法包括:获取目标程序;对目标程序进行,得到二进制文件;将二进制文件转换为中间语言表示;基于中间语言表示,计算二进制文件中各基本块的特征...
刘昱玮余媛萍贾相堃苏璞睿
基于机器学习的静态程序检测方法及装置
本发明公开了一种基于机器学习的程序检测方法及装置,属于网络安全技术领域。所述方法包括:获取目标程序;对目标程序进行,得到二进制文件;将二进制文件转换为中间语言表示;基于中间语言表示,计算二进制文件中各基本块的特征...
刘昱玮余媛萍贾相堃苏璞睿
一种用于数据API执行过程验证的程序方法及装置
本发明实施例提供了一种用于数据API执行过程验证的程序方法及装置,该方法中,从所述用于数据供给的整体可执行程序中,定位目标数据API所对应的程序片段;复制该程序片段中的函数,并基于所述原始可执行程序中的函数调用关系,...
黄罡张溯张颖孙艳春
一种用于数据API执行过程验证的程序方法及装置
本发明实施例提供了一种用于数据API执行过程验证的程序方法及装置,该方法中,从所述用于数据供给的整体可执行程序中,定位目标数据API所对应的程序片段;复制该程序片段中的函数,并基于所述原始可执行程序中的函数调用关系,...
黄罡张溯张颖孙艳春
一种基于执行程序的web应用API查找方法
本发明公开了一种基于执行程序的web应用API查找方法,包括以下步骤:步骤一:对框架储存API对象的方法进行,web应用启动时,框架扫描应用的API并将扫描到的API转换成API对象进行储存;步骤二:框架调用储存...
范丙华徐锋熊奎
基于正则表达式、程序和代码替换的以太坊智能合约bug检测和修复方法被引量:1
2021年
作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上。由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要。当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug。这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug。然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响。此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug。为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的。文中进行了一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能。
肖锋张鹏程罗夏朴
关键词:SOLIDITY正则表达式程序插桩
基于程序和动态信息验证的栈保护方法
本发明提供一种基于程序和动态信息验证的栈保护方法,包括如下模块:(1)基于GCC编译器的模块,用于在源程序编译时入放置、检查校验信息以及错误处理的代码段;(2)基于动态共享库的Hook模块,用于初始化校验信息缓...
朱君茅兵周伟平
基于程序技术的程序运行时间预测方法
超算系统是当前科学研究中不可或缺的计算工具,为了有效的利用超算资源,预测程序的运行时间成为了一项重要的工作。预测程序的运行时间可以为超算用户提供资源申请指导,为超算系统的调度程序提供调度依据,并且能够解决超算系统运营过程...
詹石岩
关键词:程序插桩运行时间

相关作者

黄罡
作品数:329被引量:479H指数:10
供职机构:北京大学
研究主题:软件体系结构 中间件 账本 代码 区块
张颖
作品数:119被引量:226H指数:10
供职机构:北京大学
研究主题:代码 程序插桩 插桩 计算逻辑 接口
王华
作品数:15被引量:17H指数:3
供职机构:解放军信息工程大学
研究主题:程序插桩 C++ 离线 电子货币系统 计算机
张鹏程
作品数:346被引量:365H指数:8
供职机构:河海大学
研究主题:控制流图 网络 神经网络 图像 X射线图像
苏铭
作品数:20被引量:21H指数:2
供职机构:解放军信息工程大学信息工程学院计算机科学与技术系
研究主题:IA-64 二进制翻译 程序插桩 逆向工程 C++