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
..
ethereum	Fix issues with statespace on solc 0.8.26 (#1863)	3 months ago
plugin	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
smt	Enable+apply isort via ruff/pre-commit (#1871)	3 months ago
__init__.py	Merge laser into mythril	7 years ago
execution_info.py	add execution info class	4 years ago