用 REA 对一个计价小程序做逆向分析：从安装连接到测试核对

以下是视频口播的自动转写，可能有错字。

REA怎么用？这期从安装讲起，带你分析一个计价程序，再验证还原出来的规则。命令、提示词和练习文件都在配套工程里，你可以暂停视频，跟着一起做。先告诉编程助手你想查什么，这个工具提供分析能力，助手再根据找到的证据，解释程序怎么运行。刚开始选一个具体功能就够了。

这次用自己写的离线小程序，看看它怎么算实付金额。先打开命令窗口，检查运行环境和NPM的版本。画面上列出了支持的版本范围，这次用的是24系列，完整版本号就在画面上。还没安装的话，先去官网安装，再重新打开终端。接入这一步，以上方这款助手为例，复制第一条命令；如果用的是下方那款，就复制第二条。

先看清楚它准备修改哪个配置文件，再确认应用。完成以后退出助手，然后重新打开。这次只做脚本静态分析，安装时出现的可选分析引擎，可以先跳过。接着运行连接检查命令，看看诊断结果。检查通过时，健康状态这一项会显示为“真”。再请助手列出现在实际能调用的工具。

光看到技能文件还不算，连通得确认当前会话真的能用。打开配套工程里的练习文件夹，这里有原始代码、压缩后的待分析程序，还有单独写出的还原版本。先运行待分析的程序。每件39.99，买三件，按会员身份购买，再用上画面里这张优惠券，最后要付103.97。

接下来，我们就查清楚，这个金额到底是怎么算出来的。问助手的时候把四件事交代清楚：文件在哪儿、想查哪个功能、需要什么证据、最后怎么验证。配套说明里的提示词可以直接复制，它会让助手追踪计价函数、查清优惠规则，再对比源程序和还原版本。运行这条分析命令，把结果保存成JSON文件。

第一次要下载依赖，具体等多久要看网络和程序大小。这次用的是6.7.0版，已经实际分析过这个练习程序。退出码为0，完整输出也放在工程里。先看分析结果，程序从哪里开始？导入了哪些模块？计价函数又在哪儿？顺着这条线找到对应代码。这里还有状态标成了未知，折扣到底怎么计算？

还得继续读代码，再用实际输入和输出核对。读完代码，就能确认会员优惠按小计的5%计算，四舍五入到分，最多减20块。优惠券看的是打折前的小计，满100块减10块。最后再把这两项优惠一起扣掉。完整代码里也保留了输入校验。画面上先看这几行，抓住计价的核心逻辑。

再算一遍，小计119.97，会员减6块，优惠券再减10块，最后是103.97，换算成画面上的分，正好和程序输出一致。结果对上以后，还要测边界，比如刚好没到门槛、刚好达到门槛，还有半分钱的舍入和优惠封顶。这次九组预期结果检查、九组非法输入检查，还有192组等价对比，都通过了。

以后改动代码，就再跑一次这些测试，看看已经核对过的情况还能不能对得上。换成原生的 exe 程序，要先配置分析引擎，再运行画面上的原生分析命令。这里要按目标类型选路线，这次实际跑的是脚本静态分析。原生命令是下一步的操作示例。卡住的时候，先检查这四处：命令后缀对不对？

助手有没有重启？文件路径对不对？分析引擎有没有配好？把版本、复现命令和完整报错留下来，再用同一个小程序重试，就容易看出问题卡在哪一步。这样，完整流程就走了一遍。连接工具，选一个具体问题，找到证据，写出还原版本，最后用测试核对。打开配套说明，先把这个小程序跑通，再用同样的方法，分析你自己的程序。