Android 逆向解析工具箱

用途

ADT 是一个基于 Miasm 的符号执行工具集，旨在帮助建模应用程序行为、研究和测试安全漏洞，并促进对恶意代码的逆向分析。

功能

• 保存/恢复所有线程和进程上下文的能力
• 用于模拟 Android 环境的集中式（JSON 编码）配置文件
• 一个用于处理互斥锁、多线程和多进程的调度器
  • fork()
  • pthread_create()
  • pthread_mutex_lock/unlock()
  • 阻塞式文件读/写
• Java JNI（Java 原生桥接）实现，处理以下内容：
  • 字符串
  • 文件与目录
  • 数组
  • 函数调用
  • 类字段
• 一些其他杂项实现
  • sscanf()
  • mktime()
  • crc32，模拟 C 语言版本
  • c++ 流
  • 管道
  • fstat() 以及 Android 为 aarch64 定制的带填充的结构体
  • android libc 的 _system_property_get()
  • 可变参数（仅适用于一般场景）
  • prcrl

使用说明

安装

• 从这个 Miasm fork 安装 Miasm。experimental 分支中的补丁实现了 aaarch64 指令，并提供了相应的 jitter 和沙箱组件。
  • git clone https://github.com/nguigo/miasm.git && cd miasm && git checkout experimental
  • pip install .
• git clone https://github.com/nccgroup/android_demystification_toolbox.git
• pip install ./android_demystification_toolbox

一般用法

• 从模板开始
  • 在 one_time_setup() 函数中填写所需的内存要求
  • 在 breakpoints_setup() 函数中输入自定义断点
  • 让主循环负责处理多个上下文
  • 使用 adt.config 存储 Android 环境信息（更多详情请参阅示例）
• NDK 示例可以通过 python3 sample.py libhello-jnicallback.so 作为演示运行

保存/恢复上下文

!! 警告 !!

上下文通过 pickle 模块保存和恢复， 该模块在处理不可信数据时不安全。请确保只恢复受信任的上下文。

用法

• 示例函数 save_context_and_dump() 可以用作 jitter 回调：

jitter.add_breakpoint(<my_address>, save_context_and_dump)

• 代码会自动查找要恢复的 context.pkl，因此可以使用以下命令行：

ln -s context_myaddress.pkl context.pkl

• 启动脚本时，上下文将被自动恢复