References

Tools included in the Toolbox

• Ubuntu 22.04: https://releases.ubuntu.com/22.04/
• Ethereum: https://github.com/ethereum/go-ethereum
• Nano: https://www.nano-editor.org/
• Python3.9: https://www.python.org/downloads/release/python-390/
• Git: https://git-scm.com/
• Curl: https://curl.se/
• Wget: https://www.gnu.org/software/wget/
• Gawk: https://www.gnu.org/software/gawk/
• Ripgrep: https://github.com/BurntSushi/ripgrep
• Z3: https://github.com/Z3Prover/z3
• Pandoc: https://pandoc.org/
• Openssh-client: https://www.openssh.com/
• Texlive: https://www.tug.org/texlive/
• Zip: https://linux.die.net/man/1/zip
• Vim https://github.com/ethereum/vim-solidity
• Cargo: https://doc.rust-lang.org/cargo/getting-started/installation.html
• Heimdall: https://github.com/Jon-Becker/heimdall-rs/
• Foundry: https://book.getfoundry.sh/getting-started/installation / https://github.com/foundry-rs/foundry/tree/master
• Forge: https://github.com/foundry-rs/foundry/tree/master/crates/forge
• Anvil: https://github.com/foundry-rs/foundry/tree/master/crates/anvil
• Cast: https://github.com/foundry-rs/foundry/tree/master/crates/cast
• Chisel: https://github.com/foundry-rs/foundry/tree/master/crates/chisel
• Halmos: https://github.com/a16z/halmos/
• 4nalyz3r: https://github.com/Picodes/4naly3er
• Echidna: https://github.com/crytic/echidna
• Slither: https://github.com/crytic/slither
• Pessimistic: https://github.com/pessimistic-io/slitherin
• Medusa: https://github.com/crytic/medusa
• Manticore: https://github.com/trailofbits/manticore
• Crytic Compile: https://github.com/crytic/crytic-compile
• Solc-select: https://github.com/crytic/solc-select
• Etheno: https://github.com/crytic/etheno
• Prover: https://github.com/Certora/Tutorials
• Mythril: https://github.com/ConsenSys/mythril
• Ganache:https://trufflesuite.com/ganache/
• Truffle:https://trufflesuite.com/truffle/
• Noir: https://noir-lang.org/getting_started/nargo_installation/
• Julia: https://julialang.org/
• Circom: https://github.com/iden3/circom
• Spearbit Report Generator (only dependencies) https://github.com/spearbit-audits/report-generator-template
• Node (lts): https://nodejs.org/
• Yarn: https://yarnpkg.com/
• Npm: https://www.npmjs.com/
• Nvm: https://github.com/nvm-sh/nvm