GitHub repository: sec-bit/adelaide
Primary language: C++
Description: The SECBIT Static Analysis Extension to Solidity Compiler