SSealbook
Sealbook / Open source / Security & hacking

ConsenSysDiligence/mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

blockchainethereumprogram-analysissecuritysecurity-analysissmart-contractssoliditysymbolic-execution
GitHub ↗Website ↗

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 5 months ago.

Similar projects

RepositoryStarsLanguageLicenseActivity
1ConsenSysDiligence/smart-contract-best-practicesA guide to smart contract security best practices★ 7.6kHTML—Stale
2OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.★ 27.3kSolidityMITActive
3monero-project/moneroMonero: the secure, private, untraceable cryptocurrency★ 10.9kC++OtherActive
4facebook/pyre-checkPerformant type-checking for python.★ 7.2kOCamlMITArchived
5mitmproxy/mitmproxyAn interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.★ 45.7kPythonMITActive
6lissy93/web-check🕵️‍♂️ All-in-one OSINT tool for analysing any website★ 35.2kTypeScriptMITActive
7OWASP/CheatSheetSeriesThe OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.★ 33.7kJavaScriptCC-BY-SA-4.0Active
8projectdiscovery/nucleiNuclei is a fast, customizable vulnerability scanner powered by the global security community and built on a simple YAML-based DSL, enabling★ 32.1kGoMITActive