I know that both mythrix and mythril are used for smart contracts auditing but I didn't figure out yet the difference between them. I'll appreciate any help.
Both projects are created by the same team, and are used to analyze bytecode and locate weaknesses listed in the SWC registry. There are some notable differences:
- Mythril is a free and open-source smart contract security analyzer. It uses symbolic execution to detect a variety of security vulnerabilities. It runs on your local machine.
- MythX is a cloud-based smart contract security service. It performs security analysis remotely, accepting jobs and returning results via an API. A free version is available, but for a complete analysis you must sign up and purchase a subscription.
You can learn more about the differences from this official blog post: MythX Tech: Behind the Scenes of Smart Contract Security Analysis