porosity
Smart contract analyzer
A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax
UNMAINTAINED Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
927 stars
56 watching
182 forks
Language: C++
last commit: over 7 years agoLinked from 2 awesome lists
chaozh/awesome-blockchain-cn
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 naddison36/sol2uml | A tool for visualizing and analyzing Solidity contracts using Unified Modeling Language (UML) and blockchain explorer APIs. | 1,178 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 sphinx-labs/chugsplash-foundry | A tool for deploying and managing upgradeable smart contracts on the Ethereum blockchain | 96 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 chao-peng/sif | A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code. | 50 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
 nccgroup/web3-decoder | An extension for Burp Suite to analyze JSON-RPC calls related to Ethereum smart contracts | 111 |
| raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 ericr/sol-function-profiler | A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity. | 81 |
 smartbugs/smartbugs | An open-source framework for analyzing Ethereum smart contracts for weaknesses and vulnerabilities | 581 |
 merklejerk/solpp | A preprocessor and flattener for Ethereum's Solidity source files | 112 |