mythril | pypi | Package Usage | Ecosyste.ms: Repos

DeDogmaDao/dt-contracts

DemmortalTreasure protocol

==0.22.36 requirements.txt

Size: 5.42 MB - Last synced: 11 days ago - Pushed: over 1 year ago

maddevsio/heimdall

Ethereum Smart Contracts Security Monitoring

==0.20.4 requirements.txt

Size: 1.59 MB - Last synced: 21 days ago - Pushed: over 1 year ago

subhasishgoswami/TokenCheck

==0.22.14 Saved Model/requirements.txt
==0.22.14 Utils/requirements.txt
==0.22.14 requirements.txt

Size: 24 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago

metagon/ithildin

Semantic analyzer of EVM bytecode based on Mythril

==0.22.14 requirements.txt

Size: 172 KB - Last synced: 17 days ago - Pushed: over 3 years ago

utkusarioglu/ethereum-containers

Container environment for ethereum projects

* src/requirements.mythril.txt

Size: 30.3 KB - Last synced: 9 months ago - Pushed: 9 months ago

ankh2054/oig-portal

==0.22.25 backend/requirements.txt

Size: 10 MB - Last synced: 23 days ago - Pushed: 24 days ago

fluidity/fluidity-truffle-box

Truffle box to give a skeleton for how Fluidity set up truffle and add-ons

==0.20.5 mythril-requirements.txt

Size: 94.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

jgiambona/smartfunding-multisig

Compatible ERC20 multi-sig wallet.

==0.18.5 requirements.frozen.txt
==0.18.5 requirements.txt

Size: 2.11 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

fluidity/fluidity-tap-token

ERC-20 Token for the Fluidity Tokenized Asset Portfolio (Treasuries Pilot)

==0.20.5 mythril-requirements.txt

Size: 52.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

sambacha/django-mythril

0.10.6 pyproject.toml
==0.22.17 requirements.txt

Size: 26.4 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago

muellerberndt/scrooge-mcetherface

Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.

>=0.21.3 requirements.txt

Size: 1.26 MB - Last synced: about 1 month ago - Pushed: about 1 year ago

gakonst/thesis-code

Decentralized Metering and Billing of energy on Ethereum with respect to scalability and security

==0.15.6 5-meteraccounting-implementation/client/requirements.txt

Size: 1010 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

tintinweb/ethereum-dasm

An ethereum evm bytecode disassembler and static/dynamic analysis tool

* requirements_all_featues.txt

Size: 149 KB - Last synced: 20 days ago - Pushed: almost 5 years ago

vietlq/smart-contract-audit

Guide to auditing EVM smart contracts using tools

==0.16.31 requirements-mythril.txt

Size: 16.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

cleanunicorn/theo

Ethereum recon and exploitation tool.

==0.21.15 requirements.txt

Size: 29.7 MB - Last synced: 26 days ago - Pushed: over 1 year ago

destrys/ethereum-multisig

Ethereum 2/3-multisig smart contract & dApp for cold storage, hardware wallets.

==0.18.5 requirements.frozen.txt
==0.18.5 requirements.txt

Size: 2.56 MB - Last synced: about 1 month ago - Pushed: over 1 year ago

sthoman/firstPrice

First price sealed bid auctions

==0.19.11 middleware/requirements.txt
==0.19.11 middleware/requirements_3_7.txt

Size: 595 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

triathon/core

==0.23.9 corethril/requirements.txt
==0.23.9 corethril/corethril/requirements.txt

Size: 393 KB - Last synced: 4 months ago - Pushed: 4 months ago

einyx/beehive-ethereum

A full stack honeypot for ethereum node operators inspired by tpotce

==0.21.15 docker/theo/requirements.txt

Size: 19.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago

ebanfa/ethereum-security-toolkit

* requirements.txt

Size: 11.7 KB - Last synced: about 1 month ago - Pushed: over 1 year ago

prahaladbelavadi/ethereum-multisig

Ethereum 2/3-multisig smart contract & dApp for cold storage, hardware wallets.

==0.18.5 requirements.frozen.txt
==0.18.5 requirements.txt

Last synced: over 1 year ago

aboogetti/theo Fork of cleanunicorn/theo

Ethereum recon and exploitation tool.

==0.21.15 requirements.txt

Size: 29.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

cleanunicorn/karl

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

==0.22.19 requirements.txt

Size: 4.3 MB - Last synced: 6 days ago - Pushed: 6 days ago

baby636/ethereum-multisig Fork of destrys/ethereum-multisig

Ethereum 2/3-multisig smart contract & dApp for cold storage, hardware wallets.

==0.18.5 requirements.frozen.txt
==0.18.5 requirements.txt

Size: 2.02 MB - Last synced: 5 days ago - Pushed: 5 days ago

bfl-aug/core Fork of triathon/core

==0.23.9 backend/requirements.txt
==0.23.9 corethril/corethril/requirements.txt
==0.23.9 corethril/requirements.txt

Size: 411 KB - Last synced: 4 months ago - Pushed: 4 months ago

Consensys/mythril-example-plugin

* example_detector/requirements.txt

Size: 3.91 KB - Last synced: 8 days ago - Pushed: about 1 year ago

Drevanoorschot/Blockchain-Project-Group-6-public-mirror

==0.22.18 code/requirements.txt

Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 3 years ago

ynouri/mythril_webapi

Web API for Mythril - a Smart Contract Security Analysis Tool.

==0.10.6 requirements.txt

Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago

007gzs/test

* requirements.txt

Size: 1.6 MB - Last synced: 5 months ago - Pushed: 5 months ago

JoranHonig/EthereumAnalysis

=1.0.8 requirements.txt

Size: 59.6 KB - Last synced: 8 days ago - Pushed: about 6 years ago

bytesdruid/contract-ai-backend

Backend for contract AI.

==0.23.19 requirements.txt

Size: 7.81 KB - Last synced: 11 days ago - Pushed: about 1 year ago

avaxrealms/adventure

==0.22.26 requirements.txt

Size: 886 KB - Last synced: about 1 year ago - Pushed: over 2 years ago

crate-crypto/ceremony-specs

==0.23.4 requirements.txt

Size: 55.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

Resardis/resardis-dex-smartcontract

Smart Contracts for Resardis Decentralized Exchange.

* dev-requirements.in
==0.21.18 dev-requirements.txt

Size: 500 KB - Last synced: about 1 year ago - Pushed: about 3 years ago

srinjoychakravarty/harry_potter_gender_analysis

Gender & character analysis using NLTK, visualization using seaborn and sentiment analysis using IBM watson

==0.21.20 requirements.txt

Size: 39 MB - Last synced: about 1 year ago - Pushed: about 4 years ago

h4l/mythril-dev

For testing changes to h4l/mythril

0.23.23 docker/poetry.lock
<1 docker/pyproject.toml

Size: 630 KB - Last synced: about 1 month ago - Pushed: about 1 month ago

ongrid/karlsson Fork of cleanunicorn/karl

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

==0.22.19 requirements.txt

Size: 4.27 MB - Last synced: 10 months ago - Pushed: 11 months ago

cherryFloris/karl Fork of cleanunicorn/karl

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril

==0.22.19 requirements.txt

Size: 4.29 MB - Last synced: 11 months ago - Pushed: about 3 years ago

bc-embarek/ethereum-dasm Fork of tintinweb/ethereum-dasm

An ethereum evm bytecode disassembler and static/dynamic analysis tool

* requirements_all_featues.txt

Size: 149 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago

Yeti87803643/blockchain-developer-bootcamp-final-project

==0.22.25 environment.yaml

Size: 50.2 MB - Last synced: about 1 month ago - Pushed: over 2 years ago

userdz10/karl Fork of cleanunicorn/karl

==0.22.35 requirements.txt

Size: 4.33 MB - Last synced: 10 months ago - Pushed: 10 months ago

cluna80/mythril_webapi Fork of ynouri/mythril_webapi

Web API for Mythril - a Smart Contract Security Analysis Tool.

==0.10.6 requirements.txt

Size: 39.1 KB - Last synced: 9 months ago - Pushed: over 6 years ago

Chaos-Monkey-Island/theo Fork of cleanunicorn/theo

Ethereum recon and exploitation tool.

==0.21.15 requirements.txt

Size: 29.7 MB - Last synced: 9 months ago - Pushed: over 4 years ago

be-klever/scrooge-mcetherface Fork of muellerberndt/scrooge-mcetherface

Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.

>=0.21.3 requirements.txt

Size: 1.26 MB - Last synced: 9 months ago - Pushed: about 1 year ago

spaceh3ad/karl Fork of cleanunicorn/karl

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

==0.22.19 requirements.txt

Size: 4.3 MB - Last synced: 8 months ago - Pushed: over 1 year ago

spaceh3ad/theo Fork of cleanunicorn/theo

Ethereum recon and exploitation tool.

==0.21.15 requirements.txt

Size: 29.7 MB - Last synced: 8 months ago - Pushed: over 1 year ago

h4l/mythril Fork of Consensys/mythril

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