Features

Dockerfile Features

Default stands for default installation in the Dockerfile

Installer stands for installation using the installer script (add2)

Feature	Default	Installer	Static Analyzer	Fuzzer	Symbolic Execution	Language	Decompiler	Disassembler	Formal Verification
Ubuntu 22:04	✔️
ethereum	✔️
nano	✔️
Python3.9	✔️					✔️
Git	✔️
Curl / wget	✔️
gawk / ripgrep	✔️
z3	✔️
pandoc	✔️
openssh-client	✔️
texlive	✔️
zip	✔️
vim solidity plugins	✔️
Rust	✔️					✔️
Heimdall	✔️						✔️	✔️
Forge	✔️
Anvil	✔️
Cast	✔️
Halmos	✔️				✔️
Echidna		✔️		✔️
Slither	✔️		✔️
Pessimistic Detectors	✔️		✔️
Medusa		✔️		✔️
Manticore		✔️			✔️
crytic compile	✔️
solc-select	✔️
etheno		✔️
Prover		✔️
Mythril		✔️			✔️			✔️
Noir		✔️				✔️
Julia	✔️					✔️
Circom		✔️
Spearbit report generator dependencies	✔️
Node (lts)	✔️					✔️
Yarn	✔️
Npm	✔️
Nvm	✔️
Certora		✔️							✔️
add2	✔️
plugins for vscode		✔️
ganache	✔️
truffle	✔️
4nalyz3r		✔️	✔️