gpt4 book ai didi

flash - AVM Verifier to Flash Log,如何解释一些东西?

转载 作者:行者123 更新时间:2023-12-02 05:11:07 25 4
gpt4 key购买 nike

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/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com