mstad
Hi, I am trying to work on a benchmark related to different analyzers. I try to scan a contract (0x7.sol) and I receive some errors (0x7 [0x7_solidity.txt](https://github.com/eth-sri/securify2/files/4638138/0x7_solidity.txt) .txt). Which is...
### Summary of the problem I try to analyze a simple contract, written in Solidity 0.4.25. During the analysis, an error is shown I launched the manticore command in the...
### Summary of the problem Manticore docker container works with 0.4.25 solc release. Is there a way to work solc - release 0.5.x? ### Manticore version 0.3.4 ### Python version...
## Description Error in file analysis ## How to Reproduce ```console $ myth analyze /home/mirkostad/Programmi/smart-contracts/Mutations/Original/0x3.sol >> ./Results/Original/0x3.sol.txt ==== Exception state ==== mythril.mythril.mythril_analyzer [CRITICAL]: Exception occurred, aborting analysis. Please report this...
Hi, is the last solidity supported 0.4.24? (I tried to compile contract using 0.5.x release and I receive an error). Is there a way to overcome these limitations?
Is it possible to check vulnerabilities in contract build with Solidity 0.5x?