HenryFive's repositories
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTMLNOASSERTION000
go-ethereum
Official Go implementation of the Ethereum protocol
Language:GoLGPL-3.0000
Language:HTML000
porosity
*UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
Language:C++000
000
slither
Static Analyzer for Solidity and Vyper
Language:PythonAGPL-3.0000
Language:HTML000
tornado-core
Tornado cash. Non-custodial private transactions on Ethereum.
Language:JavaScriptGPL-3.0000
vandal
Static program analysis framework for Ethereum smart contract bytecode.
Language:PythonBSD-3-Clause000