securify2
by eth-sri
Securify v2.0
AI summary
Contract analyzer
An automated security scanner for Ethereum smart contracts
- stars
- 589
- forks
- 135
- watching
- 26
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Smart contract analyzer
A security scanner for Ethereum smart contracts
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Smart contract analyzer
A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity
Contract analyzer
A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity.
Smart contract analyzer
A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax
Smart contract compiler
Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Contract analyzer
An extension to the Solidity compiler for static analysis of smart contracts written in C++
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Contract inspector
Provides a set of security and performance rules for smart contract code.
Contract analyzer
A tool for finding and analyzing smart contracts in Solidity source code
Smart contract security analysis
Security analysis and documentation of smart contracts on the Ethereum network
Smart contract security toolkit
Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain
Contract snippets
A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts
Contract Analyzer
Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions securify2.
