[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
-
Updated
May 21, 2025 - C++
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning
Build a DG-LAB multi-user control site with payment unlock, room QR code, pulse control, strength tuning, and emergency stop
Add a description, image, and links to the llvm-slicer topic page so that developers can more easily learn about it.
To associate your repository with the llvm-slicer topic, visit your repo's landing page and select "manage topics."