Safari 动态加载器逻辑模拟器

复现已捕获的控制流、分支、模块路径、状态码和传输契约

零外联 · 确定性运行

环境输入

地址读写层使用内存模型替代真实 WebKit 对象地址,控制状态和分支条件保持与捕获代码一致。
状态码-
版本编码-
运行时-
模块数量0

执行时间线

点击“运行完整流程”开始。

模型边界

真实部分:版本解析、环境拒绝条件、WebKit 标记分类、状态码、模块 ID 与派生哈希、最终模块分支、遥测字段和周期。模拟部分:WebAssembly.Table 内部地址、任意地址读写和最终内存原语执行。