Zaslat SMS: Evaluating the precision of static reference analysis using profiling / Donglin Liang, Maikel Pennings and Mary Jean Harrold.