BitsLab 旗下 MoveBit 研究发布｜Belobog：面向真实攻击的 Move 模糊测试框架

Move语言在Web3开发中因其强类型系统和资源语义特性受到重视，但缺乏有效的模糊测试工具。Belobog是一款针对Move语言的模糊测试框架，通过类型引导和concolic execution技术提高测试效率和深度，已在真实项目中验证其有效性。该研究旨在将安全经验转化为可复用的方法，并计划开源Belobog以促进社区共同发展。