Formal Verification & Symbolic Execution | The Security Silver Bullet?
- 📅7 months ago
We look at formal verification & symbolic execution with two Trail of Bits Web3 security team members. Additionally, we review the value these techniques bring and compare them to other tools.
What is Formal Verification? What is Symbolic Execution?
✍️ Article: https://medium.com/@patrickalphac/formal-verification-symbolic-execution-38e0ac9072eb 🗻 Code Examples: https://github.com/PatrickAlphaC/denver-security/tree/main 🟩 Comparing Symbolic Execution tools: https://hackmd.io/@SaferMaker/EVM-Sym-Exec 📚 Invariant vs Fuzz: https://ethereum.stackexchange.com/questions/144691/whats-the-difference-between-invariant-and-fuzz-testing 🛠️ Foundry Invariant: https://book.getfoundry.sh/forge/invariant-testing 🦔 Echidna: https://github.com/crytic/echidna