逆向死没死

这个标题本身就挺搞笑的。

逆向死没死？当然没死。
要是真死了，我现在也不会还在折腾这逼玩意。
我觉得很多人所谓的“逆向已死”，其实是把狭义的算法还原直接等同于广义的逆向工程了。
但对我来说，逆向的终点从来不是“知道答案”，而是建立一个足够可信的解释。
抽丝剥茧，一层一层搞清楚它为什么这么运行、内部是什么结构、状态怎么变化、控制流怎么走。算法还原只是其中很小的一块。
当然，模型越来越强以后，冲击确实很大。效果也是真的强。
但我现在越来越觉得，模型不应该只是变成 IDA、Ghidra、JADX 旁边的另一个“自动干活工具”。
如果只是：

二进制 → 模型 → 还原 → 结束

那只是把劳动外包了。
我更想要的其实是另一种用法：

一个人的思考 → 一群人的思考。

自己先有一个很小的理解，然后让不同的模型去拓宽、反驳、类比、寻找反例，再回来重新思考，最后形成自己的东西。
比如我之前折腾的 Trace 解析、ShadowIR，本身也不是“让模型直接把 VMP 给我还原了”。更多时候只是模型给了一个灵光一闪，我自己刚好接住，然后继续往下想。所以我现在越来越觉得，应该转变对模型辅助的理解：

“它替我干了多少事情。”

而是：

“它让我一个人能同时拥有多少种思考视角。”

当然，我现在也没有真正做到，只是越来越想这么做。
至于为什么最近突然这么执着……
可能是因为看 JS VMP，反出来之后甚至可以直接替换执行；再看看二进制 VMP，折腾半天，最后也只能说“我大概理解了”。
可能就是这种落差，让我开始琢磨：
如果答案越来越容易得到，那人真正应该追求的，到底还是什么？