Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications

Schiebel, Fabian; Sattler, Florian; Schubert, Philipp Dominik; Apel, Svel; Bodden, Eric

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications (bibtex)

@inproceedings{ssd+24scaling,
  author= {Fabian Schiebel and Florian Sattler and Philipp Dominik Schubert and Svel Apel and Eric Bodden}, 
  title = {Scaling Interprocedural Static Data-Flow Analysis to Large {C/C++} Applications},
  booktitle = {ECOOP 2024},
  url = {https://bodden.de/pubs/ssd+24scaling.pdf},  
}