Solidchecked

Pinned Repositories

mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Language:Python00
oyente
An Analysis Tool for Smart Contracts
Language:JavaScript00
slither
Static Analyzer for Solidity
Language:Python00
smart-contract-audit
Guide to auditing EVM smart contracts using tools
Language:Solidity00
Smart-Contract-Auditor-Tools-and-Techniques
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts
00
smart-contract-audits
00
smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Language:HTML00
smartcontract_audits
This repository collects offensive and audit tools to assess the actual security of smart contracts and blockchain
00
vandal
Static program analysis framework for Ethereum smart contract bytecode.
Language:Python00

Solidchecked's Repositories

Solidchecked/smart-contract-audits
Solidchecked/smartcontract_audits
This repository collects offensive and audit tools to assess the actual security of smart contracts and blockchain
Solidchecked/smart-contract-audit
Guide to auditing EVM smart contracts using tools
Language:Solidity
Solidchecked/Smart-Contract-Auditor-Tools-and-Techniques
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts
Solidchecked/slither
Static Analyzer for Solidity
Solidchecked/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Solidchecked/oyente
An Analysis Tool for Smart Contracts
Solidchecked/smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Solidchecked/vandal
Static program analysis framework for Ethereum smart contract bytecode.