Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report.

Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden

Browse the full ECOOP paper archive.