逆向工程 · 独立开发 · 项目笔记

把复杂问题，写成可以验证的过程。

关于程序分析、安全研究、游戏开发和 AI 工具。这里保留实现路径，也说明每一个关键取舍。

2026年9月17日8 分钟阅读

从执行轨迹到算法重建：Web 逆向的三层方法

以 TikTok Web 逆向项目为线索，整理 AST 变换、符号执行与 JSVMP 轨迹分析如何形成一条可以验证的研究路径。

从真实工作中整理的实现、失败和取舍。

2026年9月16日7 分钟阅读

从 Detours Hook、DLL 注入、动态分析到补丁管理，解释旧游戏本地化为什么是一项完整的软件工程。

2026年9月15日6 分钟阅读

大模型可以生成数学构图命令，但可靠执行需要语法边界、AST 校验和明确的错误回路。

2026年7月26日8 分钟阅读

在固定 Pixel 7 与测试 App 边界内复刻页级 Hook，将 PTE 切换、异常路由、页身份校验、读取窗口和卸载清理拆成可验证状态。

2026年7月21日1 分钟阅读

将 FART 的主动调用主线迁移到 LineageOS 23.2 / Android 16，并把配置、诊断、修复与产物验证收进一条可复查的工具链。

能说明方法和结果的工作。

将主动调用式 ART 方法恢复迁移到 Android 16，并建立配置、诊断、repair、Manager 与设备产物验证链。

在固定 Pixel 7 测试环境中研究 PTE 事务、shadow/original 页面视图、异常分流与完整清理。

结合 AST 变换、符号执行与 JSVMP 轨迹分析，研究算法与 Web 环境检测机制。