Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering

We go over:

- Formal Verification

- Symbolic Execution

- Fuzzing

- Static Analysis

 

With Trail of Bits Head of Engineering, Josselin Feist!

🐦 Josselin: https://twitter.com/Montyly

📝 Secure Contracts: https://secure-contracts.com/

🔵 Properties: https://github.com/crytic/properties

🦅 Manticore: https://github.com/trailofbits/manticore

🐍 Slither: https://github.com/crytic/slither

🦔 Echidna: https://github.com/crytic/echidna

 

⛨ Book a smart contract audit here!

👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇

https://cyfrin.io

☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️

Follow Cyfrin:

Twitter: https://twitter.com/CyfrinAudits

LinkedIn: https://www.linkedin.com/company/cyfrin/?

YouTube: https://www.youtube.com/@UCwlGG-aBeR95seT49XetR8A

Website: https://www.cyfrin.io/