Hi does anyone have any experience with mythril for smart contract auditing Wondering how i docker run analyze a specifc version of solidity compiler
