ethereum-analyzer (hackage): A Ethereum contract analyzer.
Keywords: apache|ethereum|library|static-analysis