Skip to content
合约验证变得更简单
blog.trailofbits.com | 博客 | #web3 | #smart-contracts | #formal-verification | #solidity | #echidna | #symbolic-execution | #manticore
摘要
manticore-verifier 让 Solidity 开发者直接用 Solidity 表达安全属性，由符号执行引擎自动验证；其属性测试格式与 Echidna 兼容，同一属性可同时用于模糊测试与符号验证。
- 发布时间
- 收录时间