55 citations · 65 across the 3 of their papers we have counts for
1 paper · 1 filter
Jiangchao Liu, Jierui Liu, Peng Di +4
Context sensitivity is essential for achieving the precision in inter-procedural static analysis. To be (fully) context sensitive, top-down analysis needs to fully inline all state…