Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [mythril]

Security analysis tool for Ethereum smart contracts

0
votes
0answers
10 views

Research Papers related to Mythril, Truffle and ReMix

I have found research papers related to most of the testing tools like Oyente, Gasper, MadMax, Securify and so on but I can't find research papers related to Mythril, Truffle and Remix. Are these ...
1
vote
0answers
17 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(...
0
votes
1answer
220 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 ...