Source link
This is the first chapter of a video series on learning to use Echidna fuzzer to add invariant tests to smart contracts with Solidity.
Trail of Bits repository
https://github.com/crytic/building-secure-contracts/tree/master/program-analysis/echidna
___________________________________________
00:00 Introduction
01:10 Installation
01:50 Property-based Fuzzing
03:55 Implementing Echidna test
09:17 Running Echidna test
10:40 What comes next
___________________________________________
– Enroll in the Smart Contract Hacking course with $50 Discount
https://smartcontractshacking.com/?referral=bloqarl
– Visit The Blockchainer Hub where you’ll find all types of resources on your path in Web3 Security. Roadmaps, Articles, CTFs, Audit tools, and more… https://www.theblockchainerhub.xyz/
– Follow me on Twitter: https://twitter.com/TheBlockChainer
– Check out my articles on Medium: https://medium.com/@bloqarl
___________________________________________
Do you like my content?
Now you can buy me beer/coffee for 1 euro to say thanks
https://www.buymeacoffee.com/Bloqarl
___________________________________________
Crypto to Fiat tool I use:
– Exchange Crypto for Gift cards with Bitrefill and get Bitcoin as cashback
https://www.bitrefill.com/signup?code=3ddlz8mr
date : 2024-01-05 14:40:09
views : 455
likes : 31
rating :
found searching for solidity tutorial