Questions tagged [mythril]

Security analysis tool for Ethereum smart contracts

Filter by
Sorted by
Tagged with
0 votes
1 answer
214 views

I am having trouble running slither and mythril on contracts that import more than 1 library

I'm trying to audit some of the damn vulnerable defi challenges using static analyzers slither and mythril. I can run these tools on the challenges that use the openzeppelin library exclusively thanks ...
joe17ar's user avatar
  • 15
1 vote
1 answer
254 views

How to Run Mythril tool using hardhat?

Mythril fails to import remotely and all-time searches in the local file system - to solve this I used Hardhat to compile my contract - and hardhat compiled contract. Now I am stuck on How to run ...
Ali Hassan's user avatar
2 votes
2 answers
1k views

Unable to run mythril on a Hardhat project

I have a hardhat project on my local system. For running Mythril security analysis I am using the following command: myth analyze contracts/MyFile.sol --execution-timeout 900 Receiving the following ...
mahima's user avatar
  • 133
0 votes
1 answer
168 views

address payable[] public causing SWC 110 and execption state

This is the output of mythril ==== Exception State ==== SWC ID: 110 Severity: Medium Contract: XXXXXXX Function name: recipients(uint256) PC address: 2067 Estimated Gas Usage: 1089 - 1184 An assertion ...
hack3r-0m's user avatar
  • 1,919
3 votes
1 answer
777 views

Difference between MythX and Mythril for security auditing

I know that both mythrix and mythril are used for smart contracts auditing but I didn't figure out yet the difference between them. I'll appreciate any help.
am fs's user avatar
  • 33
1 vote
2 answers
954 views

Get All Contracts from Blockchain

I am developing a large database of exploitable contract addresses and creating a website to host such a database for users to use to see if contracts are safe. Is there a way to get all contract ...
Daniel Connelly's user avatar
1 vote
0 answers
47 views

Can't initlized contract class in mythrill

I'm doing my first steps in mythril. Here is the code I'm trying to run: from mythril.ether.soliditycontract import SolidityContract from mythril.laser.ethereum import svm contract = SolidityContract(...
user1387682's user avatar
1 vote
1 answer
751 views

Docker mythril can't connect to Ganache or local .sol contracts

Has anyone here used the docker version of Mythril (https://github.com/ConsenSys/mythril) and can give me a hint on how to make it work? I only get: $ docker run mythril/myth -xa ...
Svante's user avatar
  • 440