GitHub repository: lololosys/codeql-solidity
Primary language: CodeQL
Description: CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise