Weakly sensitive analysis for JavaScript object‐manipulating programs

Summary While JavaScript programs have become pervasive in web applications, they remain hard to reason about. In this context, most static analyses for JavaScript programs require precise call graph information, since the presence of large numbers of spurious callees significantly deteriorates prec... View More