GitHub repository: GaloisNeko/lda
Primary language: C++
Description: Naive LLVM Dataflow Analysis Framework