Open fabianbs96 opened 2 months ago
Implementing Sparse IDE after Karakaya et al. https://doi.org/10.48550/arXiv.2401.14813
We NEED some handling of aliasing in the sparse CFG, otherwise the level of sparsity is too bad for analyzing LLVM IR
Implementing Sparse IDE after Karakaya et al. https://doi.org/10.48550/arXiv.2401.14813
We NEED some handling of aliasing in the sparse CFG, otherwise the level of sparsity is too bad for analyzing LLVM IR