Ethereum Asked on November 22, 2021
Why would I use Trail of Bits’ Manticore over SMTChecker, which is baked in the Solidity compiler?
tl;dr: you should use both (and more) :)
Different FV/static analysis tools often have different features and pros/cons which might complement each other and give you better coverage.
In this case, for example, Manticore targets EVM bytecode whereas SMTChecker targets Solidity code.
Besides the fundamental symbolic encoding/proof techniques, each tool has their own set of features which might be useful or not for your case. Here's a list of a bunch more tools that I try to keep updated: https://github.com/leonardoalt/ethereum_formal_verification_overview
Answered by Leonardo Alt on November 22, 2021
Get help from others!
Recent Answers
Recent Questions
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP