Ðavid

Tools that may appear

1

Tool: Wonderland Natspec Smells - Type: static analyzer - Link: https://github.com/defi-wonderland/natspec-smells Tool: Ityfuzz - Type: fuzzer - Link: https://github.com/fuzzland/ityfuzz Tool: Napalm - Type: Static analyzer Framework + Reports - Link:...

Update hardcoded path to echidna v2.2.2

- Add video / images and explanation of different use cases of different tools in order to improve user adoption of different tools - The point for new users is...

add fish, zsh...

- Create some flows - Update code fix - Update table of tools - Update references

The toy tests are missing with the new halmos version

2

**Describe the bug** Toy tests are missing `check_` keyword so there is nothing to test ```bash whitehat@fb6550204d45:~/halmos/examples/toy$ halmos [⠊] Compiling... [⠢] Compiling 2 files with 0.8.21 [⠆] Solc 0.8.21 finished...

Fixes for #24: added PUSH0, TLOAD, TSTORE opcodes

1

Added PUSH0, TLOAD, TSTORE opcodes, their eip gas costs, etc Fix for: https://github.com/crytic/evm-opcodes/issues/24