MAR 智能合约重入漏洞的动态符号执行检测
2021-12-03 23:32:05 22KB Solidity
1
基于动态符号执行技术的协议逆向分析方法,杨昌鑫,武斌,未知协议的协议逆向分析对其安全性研究具有十分重要的意义。目前基于网络轨迹和基于指令执行的两种主要分析方法在协议信息分析和
2021-10-05 15:33:24 290KB 协议逆向
1
以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
1
dse_final.zip
2021-07-09 21:02:25 714KB 动态符号执行 软件测试 DSE
1