GitHub repository: CoinFabrik/solidity_detectors
Primary language: Python
Description: Research on Vulnerability Detection Using Intermediate Representations of Solidity