Context-sensitive pointer analysis algorithms with full "heap cloning" … paper shows, for the first time, that a … and extremely fast in practice. … [It analyzes] the Linux kernel (about 355K lines of … (a) using flow-insensitive and unification-based analysis, which are … call graph, and (c) carefully eliminating several kinds …
Google-1
Google-2
Copyright clearance needed for quotation.