karl
Vulnerability scanner
Monitors smart contracts for security vulnerabilities on blockchain networks
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
315 stars
14 watching
77 forks
Language: Python
last commit: 15 days ago blockchaindefcondefcon27ethereumsecuritysmtsymbolic-execution
Related projects:
Repository | Description | Stars |
---|---|---|
muellerberndt/mythril | Detects security vulnerabilities in smart contracts written in EVM bytecode. | 54 |
ivicanikolicsg/maian | Automated tool for detecting bugs in smart contracts on the Ethereum blockchain | 556 |
kadenzipfel/smart-contract-vulnerabilities | A collection of vulnerabilities and prevention methods for smart contracts on the Ethereum blockchain | 1,969 |
a16z/metamorphic-contract-detector | An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain | 159 |
m0nad/hellraiser | Scans networks to identify vulnerabilities by correlating CPEs with CVEs using an API | 562 |
checkmarx/kics | A tool for detecting security vulnerabilities and compliance issues in infrastructure-as-code projects | 2,093 |
vishnuram1999/audits | A blockchain auditing service designed to identify and fix security vulnerabilities in smart contracts. | 20 |
eth-sri/securify | A security scanner for Ethereum smart contracts | 218 |
muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 168 |
originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 244 |
directdefense/superserial | A Burp Suite Extender to identify Java Deserialization vulnerabilities in client requests and server responses. | 9 |
menkrep1337/xsscon | A tool designed to scan websites for Cross-Site Scripting (XSS) vulnerabilities | 210 |
meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 26 |
sunweb3sec/defivulnlabs | A comprehensive training and testing guide for common smart contract vulnerabilities in DeFi applications | 1,587 |