GitHub repository: rajeevgopalakrishna/Solstice
Primary language: Python
Description: Solstice is a security analysis framework for investigative smart contract examination