GitHub - eth-sri/securify2: Securify v2.0

Securify v2.0. Contribute to eth-sri/securify2 development by creating an account on GitHub.

GitHub - crytic/echidna: Ethereum smart contract fuzzer
Ethereum smart contract fuzzer contribute to crytic echidna development by creating an account on git hub
GitHub - trailofbits/manticore: Symbolic execution tool
Symbolic execution tool contribute to trailofbits manticore development by creating an account on git hub
GitHub - ConsenSys/mythril: Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Security analysis tool for evm bytecode supports smart contracts built for ethereum hedera quorum vechain roostock tron and other evm compatible blockchains git hub consen sys mythril sec
GitHub - ethereum/sourcify: Decentralized Solidity contract verification service
Decentralized solidity contract verification service git hub ethereum sourcify decentralized solidity contract verification service
GitHub - crytic/slither: Static Analyzer for Solidity
Static analyzer for solidity contribute to crytic slither development by creating an account on git hub
MythX: Smart contract security service for Ethereum
Detect security vulnerabilities in your ethereum smart contracts throughout the development life cycle analyze solidity dapps for security holes and known smart contract vulnerabilities help make ethereum a more secure platform

Subscribe to get resources directly to your inbox. You won't receive any spam! ✌️

Subscribe to get resources directly to your inbox. You won't receive any spam! ✌️