【we open star】智能合约安全审计工具
【任务描述/建议思路】 智能合约形式化验证工具，为智能合约提供安全检测和验证，精确定位风险代码位置并给出修改建议
【贡献步骤】issue评论区留言方案认领-方案被采纳-代码提交到【we open star】项目组
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
【任务描述/建议思路】 智能合约形式化验证工具，为智能合约提供安全检测和验证，精确定位风险代码位置并给出修改建议
【贡献步骤】issue评论区留言方案认领-方案被采纳-代码提交到【we open star】项目组