Houses LLVM static analyzer and detectors for smart contracts - View it on GitHub