Mythril Files

Security analysis tool for EVM bytecode. Supports smart contracts

This is an exact mirror of the Mythril project, hosted at https://github.com/ConsenSys/mythril. SourceForge is not affiliated with Mythril. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
Mythril v0.24.6 source code.tar.gz	2024-03-06	5.2 MB	0
Mythril v0.24.6 source code.zip	2024-03-06	5.8 MB	0
README.md	2024-03-06	520 Bytes	0
Totals: 3 Items		11.0 MB	0

What's Changed

Refactor code by @norhh in https://github.com/Consensys/mythril/pull/1831
Reduce number of processes by @norhh in https://github.com/Consensys/mythril/pull/1832
Update z3 by @norhh in https://github.com/Consensys/mythril/pull/1835
Add additional analysis modules by @norhh in https://github.com/Consensys/mythril/pull/1836
Add new features by @norhh in https://github.com/Consensys/mythril/pull/1841

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.5...v0.24.6

Source: README.md, updated 2024-03-06

Other Useful Business Software

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview

Try free now

Recommended Projects

Apache Beam
Unified programming model for Batch and Streaming
DeSmuME: Nintendo DS emulator
DeSmuME is a Nintendo DS emulator
7-Zip
A free file archiver for extremely high compression
KeePass
A lightweight and easy-to-use password manager
Clonezilla
A partition and disk imaging/cloning program

Mythril Files

Security analysis tool for EVM bytecode. Supports smart contracts

Get an email when there's a new version of Mythril

What's Changed