A principled approach to selective context sensitivity for pointer analysis

Y Li, T Tan, A Møller, Y Smaragdakis - ACM Transactions on …, 2020 - dl.acm.org
Context sensitivity is an essential technique for ensuring high precision in static analyses. It
has been observed that applying context sensitivity partially, only on a select subset of the …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - users-cs.au.dk
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - cs.au.dk
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - tildeweb.au.dk
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Y Li, T Tan, A Møller, Y Smaragdakis - ACM Transactions on Programming … - pure.au.dk
Coversheet Page 1 General Rights Copyright and moral rights for the publications made
accessible in the public portal are retained by the authors and/or other copyright owners and it is …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - yanniss.github.io
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - cs.nju.edu.cn
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - cs.au.dk
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

YUE LI, T TAN, A MØLLER, Y SMARAGDAKIS - 2020 - cs.nju.edu.cn
A Principled Approach to Selective Context Sensitivity for Pointer Analysis Page 1 1 A Principled
Approach to Selective Context Sensitivity for Pointer Analysis YUE LI, Nanjing University, China …

[PDF][PDF] A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Y Li, T Tan, A Møller, Y Smaragdakis - ACM Transactions on Programming … - pure.au.dk
Coversheet Page 1 General Rights Copyright and moral rights for the publications made
accessible in the public portal are retained by the authors and/or other copyright owners and it is …