OPENLAB / SOFTWARE ANATOMY / 06
拆开应用,
看见证据。
一个笔记应用,两个消息通道。让 REA 从静态源码中还原结构,再亲自检查它有没有看对。
正在检查登录与历史任务…
Pomotroid:从发布包到可运行番茄钟
查看真实分析、模型重建与测试结果,再直接运行专注计时器。成品体验无需开启云主机。
OpenLab Notes
main.js 创建窗口,preload.js 连接界面与主进程,renderer.js 展示笔记。点击分析会在阿里云真实运行 REA 6.7.0。
静态分析 · 不执行应用无模型调用 · 无模型费用单任务 · 最长 120 秒
正在拆解
等待云端领取任务
动画仅表示任务仍在进行;完成后展示实际报告,不模拟逐步发现。
REAL EVIDENCE / 真实分析
从界面到主进程
这张图是用于阅读报告的示意图;下方每条发现均来自本次云端结果。
REA 看对了吗?
先看证据,再揭示预先保存的标准答案。此处检查的是固定样本,不代表对任意软件的准确率。
能力边界与原始结果
REA 是分析工具层;本实验尚未接入模型解释。静态关系不证明运行时实际执行,也不能据此认定软件安全。