Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis

Karakaya, Kadiray; Bodden, Eric

Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis (bibtex)

@inproceedings{kb23sparsification,
author = {Kadiray Karakaya and Eric Bodden},
title = {Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis},
booktitle = {IEEE International Conference on Software Testing, Verification and Validation (ICST)},
year = {2023},
note = {To appear.},
url = {https://www.bodden.de/pubs/kb23sparsification.pdf}
}