ConsenSys/scribble-exercise-1

This is stars and forks stats for /ConsenSys/scribble-exercise-1 repository. As of 29 Apr, 2024 this repository has 19 stars and 30 forks.

Scribble Exercise 1 In this exercise we're going to have a look at a vulnerable ERC20 smart contract. We'll use Scribble to annotate it with properties, and use Mythril to automatically check the properties (and find bugs 🐛). Handy Links Scribble Repository -> https://github.com/ConsenSys/Scribble Mythril Repository -> https://github.com/ConsenSys/Mythril Scribble Docs 📚 -> https://docs.scribble.codes/ Installation # Make sure to use node 10-16 npm install eth-scribble --global npm install...