"Mythril" is a tool to analyze the security properties of EVM bytecode. Given that it only expects EVM bytecode as input, Mythril can be used to check the output produced by Solidity, Vyper or any other language targeting the Ethereum Virtual Machine.
Protip 1: Given that Mythril's only requirement is EVM bytecode you can also use it to check your Smart Contracts for EVM compatible platforms such as the Binance Smart Chain, Avalanche, Hedera or Tron.
Protip 2: For more advanced security analyses you can use the paid tool MythX. It includes Mythril, the fuzzer Harvey and the static analysis engine Maru. Work through the MythX Apprentice Tutorial to learn more about MythX and get rewarded with NFTs.
- ConsenSys