GitHub repository: EthanParisGrape/Variousa
Primary language: Dart
Description: [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.