GitHub repository: 1Blackdiamondsc/pocketh
Description: A pocket knife for auditing smart contracts.