Interprocedural data flow analysis in Soot using value contexts
Rohan Padhye, Uday P. Khedker · 2013
An interprocedural analysis is precise if it is flow sensitive and fully context-sensitive even in the presence of recursion. Many methods of interprocedural analysis sacrifice precision for scalability while some are precise but limited to only a certain class of problems.