1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…