AVM 验证器在遇到错误时写入闪存日志。在文档中它说验证器将访问“所有可能的分支”，跳转可能会采用它。但是，在尝试跟踪输出时仍然很困惑。有什么想法可以正确解释它吗？整个流程看起来很困惑。
例如以下标记的含义是什么。
先合并
合并当前
合并目标
合并后
此外，还有机器指令和带有寄存器的机器状态、作用域堆栈和操作数堆栈。我明白当我看到指令和后来的状态修改时，例如PushFalse 将使 bool 值出现在操作数堆栈上 - (Boolean[B])。但有时即使没有前面的指令也可以写入状态，结合 MERGE FIRST、MERGE CURRENT 等。这是什么意思？
最佳答案
不幸的是，这是我能找到的最全面的解释。
http://hg.mozilla.org/tamarin-redux/file/3c8d01c7b51a/doc/verifier.txt
关于flash - AVM Verifier to Flash Log，如何解释一些东西？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5641546/