oyente (pypi): An analysis tool for smart contracts
Keywords: ethereum|smart|contracts