逆向工程师必备：用Frida动态分析AES/DES/RSA的N种姿势

逆向工程师必备：用Frida动态分析AES/DES/RSA的N种姿势

在移动安全领域，加密算法的动态分析一直是逆向工程师的核心技能之一。面对日益复杂的应用保护机制，传统的静态分析方法往往难以应对代码混淆、动态加载等防御手段。而Frida作为一款强大的动态插桩工具，能够在不修改目标应用的情况下，实时监控和修改运行时行为，为加密算法的逆向分析提供了全新的可能性。

本文将深入探讨如何利用Frida对AES、DES、RSA等主流加密算法进行全方位的动态分析。不同于简单的API监控，我们将从密钥提取、输入输出捕获、调用栈追踪等多个维度，构建一套完整的分析矩阵。无论你是想破解某个应用的通信协议，还是想深入理解加密算法的实际实现，这些技巧都将成为你工具箱中的利器。

1. Frida基础与环境搭建

1.1 Frida核心组件解析

Frida的核心由两部分组成：frida-server和frida-tools。前者运行在目标设备上，后者则是开发者的命令行接口。对于Android平台的分析，我们需要特别注意以下几点：

• 设备架构适配：确保下载的frida-server与目标设备的CPU架构匹配
• 权限管理：现代Android系统对ptrace等系统调用有严格限制，通常需要root权限
• 端口转发：adb forward tcp:27042 tcp:27042

一个典型的Frida环境检查命令如下：

frida-ps -U

1.2 基础Hook脚本结构

所有Frida脚本都遵循相似的结构模板。以下是一个最小化的Hook框架：

Java.perform(function() { // 目标类和方法定义 var targetClass = Java.use("完全限定类名"); // 方法Hook实现 targetClass.targetMethod.implementation = function() { // 前置处理 console.log("[*] 方法被调用"); // 原始调用 var result = this.targetMethod.apply(this, arguments); // 后置处理 return result; }; });

提示：在实际分析中，建议将常用功能封装成工具函数，如堆栈打印、字节数组转换等。

2. 对称加密算法深度Hook技巧

2.1 AES算法全维度监控

AES作为目前最常用的对称加密算法，在Android中通常通过javax.crypto.Cipher类实现。我们可以从三个关键点入手：

1. 密钥监控：Hook Cipher.init()方法获取密钥材料
2. IV捕获：针对CBC等模式，提取初始化向量
3. 数据流追踪：监控doFinal()方法的输入输出

以下是一个增强版的AES Hook示例：

Java.perform(function() { var cipher = Java.use("javax.crypto.Cipher"); cipher.init.overload('int', 'java.security.Key', 'java.security.spec.AlgorithmParameterSpec') .implementation = function(opmode, key, params) { // 提取算法名称和模式 var alg = this.getAlgorithm(); console.log(`[AES] 初始化: ${alg}`); // 密钥提取 var keyBytes = key.getEncoded(); console.log("密钥(Hex):", bytesToHex(keyBytes)); // IV提取 if(params) { var ivSpec = Java.cast(params, Java.use("javax.crypto.spec.IvParameterSpec")); var iv = ivSpec.getIV(); console.log("IV(Hex):", bytesToHex(iv)); } return this.init.apply(this, arguments); }; cipher.doFinal.overload('[B').implementation = function(input) { console.log("输入数据长度:", input.length); console.log("输入数据(Hex):", bytesToHex(input)); var result = this.doFinal.apply(this, arguments); console.log("输出数据长度:", result.length); console.log("输出数据(Hex):", bytesToHex(result)); return result; }; });

2.2 DES/3DES特殊处理方案

虽然DES家族算法安全性已经不足，但在一些遗留系统中仍在使用。与AES相比，DES Hook需要注意：

• 密钥长度检查：DES-56(8字节)、3DES-168(24字节)
• 工作模式识别：ECB模式无IV，CBC需要监控

关键对比参数：

3. 非对称加密算法分析策略

3.1 RSA关键点监控

RSA算法的动态分析比对称加密更为复杂，主要关注：

1. 密钥对获取：通过KeyStore或直接生成
2. 填充模式识别：PKCS#1 v1.5、OAEP等
3. 分段加密处理：大数据量的分块策略

增强型RSA Hook脚本：

Java.perform(function() { var cipher = Java.use("javax.crypto.Cipher"); cipher.init.overload('int', 'java.security.Key') .implementation = function(opmode, key) { var alg = this.getAlgorithm(); console.log(`[RSA] 初始化: ${alg}`); // 获取密钥信息 var keyClass = key.getClass().getName(); console.log("密钥类型:", keyClass); if(keyClass.indexOf("RSAPublicKey") != -1) { var modulus = key.getModulus(); var exponent = key.getPublicExponent(); console.log("模数(Hex):", modulus.toString(16)); console.log("指数(Hex):", exponent.toString(16)); } return this.init.apply(this, arguments); }; });

3.2 数字签名算法追踪

对于签名算法，我们需要同时监控签名和验证过程：

Java.perform(function() { var signature = Java.use("java.security.Signature"); signature.sign.overload().implementation = function() { var alg = this.getAlgorithm(); var result = this.sign.apply(this, arguments); console.log(`[${alg}] 签名结果:`, bytesToHex(result)); return result; }; signature.verify.overload('[B').implementation = function(signature) { console.log("待验证签名:", bytesToHex(signature)); return this.verify.apply(this, arguments); }; });

4. 高级技巧与实战应用

4.1 调用栈分析与上下文还原

单纯的参数监控往往不够，我们需要还原完整的调用链：

function printStackTrace() { var Log = Java.use("android.util.Log"); var Throwable = Java.use("java.lang.Throwable"); console.log(Log.getStackTraceString(Throwable.$new())); } Java.perform(function() { var cipher = Java.use("javax.crypto.Cipher"); cipher.doFinal.overload('[B').implementation = function(input) { console.log("调用栈追踪:"); printStackTrace(); return this.doFinal.apply(this, arguments); }; });

4.2 条件触发与智能过滤

在实际分析中，我们需要避免信息过载：

var targetPackage = "com.example.targetapp"; Java.perform(function() { var cipher = Java.use("javax.crypto.Cipher"); cipher.doFinal.overload('[B').implementation = function(input) { // 只监控目标应用 if(!Java.enumerateLoadedClassesSync().some(c => c.startsWith(targetPackage))) { return this.doFinal.apply(this, arguments); } // 只关注大于1KB的数据 if(input.length < 1024) { return this.doFinal.apply(this, arguments); } console.log("捕获到大块数据操作:"); console.log("算法:", this.getAlgorithm()); console.log("数据长度:", input.length); return this.doFinal.apply(this, arguments); }; });

4.3 数据重定向与实时修改

Frida的强大之处在于可以动态修改运行时的行为：

Java.perform(function() { var cipher = Java.use("javax.crypto.Cipher"); cipher.doFinal.overload('[B').implementation = function(input) { // 修改特定输入数据 if(bytesToHex(input).indexOf("A1B2C3D4") != -1) { console.log("检测到目标数据，准备修改..."); var modified = hexToBytes("A1B2C3D400000000"); return this.doFinal.call(this, modified); } return this.doFinal.apply(this, arguments); }; });

在实际项目中，我发现最有效的策略是先进行全面监控，收集足够信息后再针对特定模式进行精确Hook。比如某次分析中，通过先记录所有加密操作的时间戳和参数长度，成功识别出了关键业务数据的加密模式，大幅提高了后续分析的效率。