semgrep-smart-contracts
Contract inspector
Provides a set of security and performance rules for smart contract code.
Semgrep rules for smart contracts based on DeFi exploits
643 stars
19 watching
90 forks
Language: Solidity
last commit: 6 months ago defiethereumsecuritysemgrepsolidity
Related projects:
| Repository | Description | Stars |
|---|---|---|
 eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
| eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 geekshiv/smart-contract-hacking | A collection of resources and information on the topic of smart contract security testing and vulnerabilities. | 238 |
 techrate/smart-contract-audits | Provides comprehensive security audit reports for smart contracts on various blockchain platforms. | 574 |
 praneshasp/vscode-solidity-inspector | A VSCode extension for smart-contract development utilities, including optimization and debugging tools. | 127 |
 transmissions11/solcurity | An opinionated security and code quality standard for Solidity smart contracts. | 2,064 |
 shimmi/smart-contracts-skeleton | A set of tools to help develop and test smart contracts on the Ethereum blockchain | 23 |
 tintinweb/smart-contract-inspector | A tool for visually inspecting Solidity smart contracts | 173 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 coinspect/learn-evm-attacks | An open-source collection of smart contract tests reproducing exploits and vulnerabilities on the Ethereum Virtual Machine (EVM) in Solidity. | 1,677 |
 muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
| tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |