Comparing points-to static analysis with runtime recorded profiling data
Codruţ Stancu, Christian L. Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz · 2014
We present an empirical study that sheds new light on static analysis results precision by comparing them with runtime collected data. Our motivation is finding additional sources of information that can guide static analysis for increased application performance.