npm install(!remember removing the package-lock.json, if it does have it). Otherwise, the remix wouldn't be able to load all libraries for the contracts that are being called.
path-to-the-shared-folder: needs to be an absolute pathremix-ide-instance-URL: needs to plain with http or https
Cannot connect to the remixd daemon. Please make sure you have the remixd running in the background.
Error: Source "@openzeppelin/contracts/utils/Context.sol" not found: File outside of allowed directories.
--allow-pathdoes not work, just download the library and copy them into the dir.. casual way :/
docker run -v $(pwd):/tmp mythril/myth a /tmp/<file-name>.sol --solv 0.5.0
mythril.mythril.mythril_disassembler [ERROR]: The file Token.sol does not contain a compilable contract. mythril.interfaces.cli [ERROR]: input files do not contain any valid contracts
myth a --rpc ganache -a <address>
Pip3 install mythrildoes not work. I don't remember what happened exactly but something does not work with pip3 in MacOS :)
in self.solidity_files[file_index].full_contract_src_maps IndexError: list index out of range
manticoreCLI tool and Python API will be available.
--quick-modeoption for quick exploration. Disable gas, generate testcase only for alive states, do not explore constant functions. Disable all detectors.