公开版 · 隐私信息已隐藏

Ivory

逆向工程与系统开发工程师

个人简介

专注 Android Runtime、底层 Hook、系统工具与 AI 工具集成。能够从协议、运行时和内核边界定位问题,并将研究结果交付为可维护、可验证的工具与产品。具备 C/C++、Python、TypeScript、Rust 与 Common Lisp 实践经验,重视复现路径、兼容边界、性能诊断和完整生命周期。

核心能力

Android Runtime 与 Hook:ART、DEX、Zygisk、LSPlant、Xposed、JNI、KernelSU / APatch,以及页表与异常路径分析。

系统工程:ARM64、QEMU、操作系统构建、运行时生命周期、诊断链路与可复查实验。

工具与产品:把逆向研究、自动化和大模型能力封装为可持续演进的 CLI、Web 与桌面工具。

教育经历

厦门大学

中国
数理统计试点班 · 本科2018.09 - 2023.06

相关课程:随机过程、实变分析、数理统计与机器学习;形成数据分析、概率建模和实验验证基础。

工作与研究经历

数据科技公司 · 创新项目部

中国
逆向工程师 / 爬虫工程师2025.04 - 至今
  • 为授权业务场景建设 TikTok、微信视频号等创作者数据回采链路,组合 Auto.js、设备调度与中台任务实现稳定的周期采集。
  • 对 TikTok Web 的 JSVMP 进行插桩与轨迹分析,梳理 x-gnarly 计算流程并完成 Python 侧复现。
  • 完成 Temu 与小红书 App 端分析,构建基于 RPC、自动化脚本与设备集群的数据采集组件。

腾讯安全应急响应中心

线上
安全研究参与者2022.04

参与公开安全研究活动,月度榜单排名第 26;持续积累漏洞分析、复现与负责任披露经验。

精选项目与公开成果

r0dump-fusion

2026
Android Runtime 研究与脱壳工具链ART · DEX · C++ · LineageOS
  • 将主动调用式 ART 方法恢复迁移到 Android 16 / LineageOS 23.2,覆盖加载链捕获、容器与内存 DEX 重建、诊断和 Manager 配套流程。
  • 把配置、修复、编译、设备产物与限制说明收进同一条验证链,让版本迁移和问题定位能够被复查。

LBuild / Lambda64

2026 - 至今
ARM64 操作系统与冷镜像构建系统Common Lisp · QEMU · VirtIO
  • 以 Common Lisp 编写可在 QEMU virt 启动的 ARM64 系统,覆盖冷镜像生成、Supervisor、图形、输入、存储与网络路径。
  • 用显式源码清单管理构建顺序,并围绕启动过程、模块生命周期和运行时演进建立可复查的验证记录。

Dejavu

2026 - 至今
Android arm64 运行时编译与 Hook 工具C/C++ · Lua · TinyCC · Zygisk
  • 内嵌 Lua 5.4.8 与 TinyCC,在内存中编译 freestanding C,并提供可选的 Zygisk / LSPlant 集成、dejavuctl REPL 与 hookx 脚本层。
  • 围绕 Android 8-15(API 26-35)arm64 与 16 KB 页对齐建立构建和发布验证,保持核心工具与可选集成的边界清晰。

GeoChat / LLM × GeoGebra

2025 - 至今
AI 数学绘图产品React · AI SDK · GeoGebra
  • 把大模型接入 GeoGebra,设计绘图命令执行、命令搜索、图形检查与视角调整等工具调用闭环。
  • 修改 GeoGebra Web 适配异步命令反馈,并完成对话界面、Agent 工作流和用户管理功能。

开源贡献

light_world.lua:修复缩放摄像机时光照范围未同步缩放的计算问题;贡献已提交为公开 Pull Request。

Godot 4 HTTPManager:为 HTTP 管理组件增加网络代理支持。

技术翻译与资料:维护 Emacs Lisp 手册译文、Frida JavaScript API 中文资料与 Roguelike 对称投影算法译文。

技能

编程语言:C/C++、Python、JavaScript/TypeScript、Rust、Common Lisp、Java

逆向与安全:Frida、IDA Pro、Jadx、Burp Suite、Xposed、Android Runtime、KernelSU / APatch、PTE 与异常分析

工程与平台:React、Tauri、Dioxus、Scrapy、Auto.js、QEMU、Linux、JNI、Redis、WebSocket

方法:静态与动态分析、JS AST / VM 轨迹分析、协议分析、数据管道、可复查实验与性能诊断