evm-security-tools/bash_message at main · TSxo/evm-security-tools · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
▗▄▄▄▖▗▖  ▗▖▗▖  ▗▖     ▗▄▄▖▗▄▄▄▖ ▗▄▄▖▗▖ ▗▖▗▄▄▖ ▗▄▄▄▖▗▄▄▄▖▗▖  ▗▖    ▗▄▄▄▖▗▄▖  ▗▄▖ ▗▖    ▗▄▄▖
▐▌   ▐▌  ▐▌▐▛▚▞▜▌    ▐▌   ▐▌   ▐▌   ▐▌ ▐▌▐▌ ▐▌  █    █   ▝▚▞▘       █ ▐▌ ▐▌▐▌ ▐▌▐▌   ▐▌
▐▛▀▀▘▐▌  ▐▌▐▌  ▐▌     ▝▀▚▖▐▛▀▀▘▐▌   ▐▌ ▐▌▐▛▀▚▖  █    █    ▐▌        █ ▐▌ ▐▌▐▌ ▐▌▐▌    ▝▀▚▖
▐▙▄▄▖ ▝▚▞▘ ▐▌  ▐▌    ▗▄▄▞▘▐▙▄▄▖▝▚▄▄▖▝▚▄▞▘▐▌ ▐▌▗▄█▄▖  █    ▐▌        █ ▝▚▄▞▘▝▚▄▞▘▐▙▄▄▖▗▄▄▞▘


Smart Contract Tools Installed:

- Foundry: https://github.com/foundry-rs/foundry
- Slither: https://github.com/crytic/slither
- Aderyn: https://github.com/Cyfrin/aderyn
- Certora CLI: https://docs.certora.com/en/latest/docs/user-guide/index.html
- solc-select: https://github.com/crytic/solc-select
- Vyper: https://github.com/vyperlang/vyper

Use `solc-select` to switch between Solidity compiler versions.
Use `n` to switch between Node versions.