133 citations · 150 across the 12 of their papers we have counts for
1 paper · 1 filter
Rohan Padhye, Uday P. Khedker
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 pre…