Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nikhil Parasaram 8201bfd75f Fix issues with statespace on solc 0.8.26 (#1863) ... * Fix issues with statespace on solc 0.8.26 * Sort the import		3 months ago
..
analysis	Fix issues with statespace on solc 0.8.26 (#1863)	3 months ago
concolic	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
disassembler	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
ethereum	Handle newer solc-x versions (#1880)	3 months ago
interfaces	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
laser	Fix issues with statespace on solc 0.8.26 (#1863)	3 months ago
mythril	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
plugin	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
solidity	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
support	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
__init__.py	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
__main__.py	refactored __main__ creating a base Mythril interface class	7 years ago
__version__.py	Mythril v0.24.8	8 months ago
config.ini	Update requirements.txt (#1807)	1 year ago
exceptions.py	Handles issue with low constructor loop bound and new way to deal with solver-timeout (#1668)	2 years ago