Blockchain Pro

Echidna Tutorial: #1 Introduction to create Invariant tests with Solidity

Echidna Tutorial: #1 Introduction to create Invariant tests with Solidity



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

Leave a Comment

Your email address will not be published. Required fields are marked *