GitHub repository: momo-ai/Vanguard
Description: Houses LLVM static analyzer and detectors for smart contracts