提出了一种基于符号执行的控制流图提取方法，该方法为原生库中的函数提供了符号执行环境，对JNI 函数调用进行模拟，用约束求解器对符号进行求解。实现了控制流图提取原型系统 CFGNative。实验结果表明，CFGNative可准确识别样例中所有的JNI函数调用和原生方法，并能够在可接受的时间内达到较高的代码覆盖率。
2022-07-02 13:15:28
618KB
1
基于动态符号执行技术的协议逆向分析方法，杨昌鑫，武斌，未知协议的协议逆向分析对其安全性研究具有十分重要的意义。目前基于网络轨迹和基于指令执行的两种主要分析方法在协议信息分析和
2021-10-05 15:33:24
290KB
1
以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
2021-09-30 14:15:33
982KB
1