Slither property generation tool.md

42 - Slither property generation tool

Slither property generation tool slither-prop generates code properties (e.g., invariants) that can be tested with unit tests or Echidna, entirely automatically. The ERC20 scenarios that can be tested are:

1. Transferable - Test the correct tokens transfer
2. Pausable - Test the pausable functionality
3. NotMintable - Test that no one can mint tokens
4. NotMintableNotBurnable - Test that no one can mint or burn tokens
5. NotBurnable - Test that no one can burn tokens
6. Burnable - Test the burn of tokens. Require the "burn(address) returns()" function

---

Slide Screenshot

---

Slide Text

• Property Generation Tool
• Code Properties/Invariants
• Test w/Unit Tests or Echidna
• ERC20 Scenarios

---

References

• Youtube Reference

---

Tags