GitHub repository: AlisaMaas/llvm-sra
Primary language: C++
Description: Symbolic range analysis for LLVM.