LaifsV1/YulTracer

YulTracer is a game-semantics-based bounded safety (assertion) checker for Yul written in OCaml and compiled using the Dune build system.

语言：Solidity · GitHub 星标：3 · Fork：0

话题：assertion-checking · ethereum · evm · game-semantics · interpreter · safety-checker · symbolic-execution · verification-tool

在 GitHub 上查看原仓库