This is the artifact for the paper: Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity, Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis. In Proceedings of the ACM in Programming Languages (OOPSLA) 2021 To use this artifact, please start by reading README.pdf in the artifact package
This artifact is provided to enable the reproducing of results in Section 5 of the companion paper "...
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an...
Points-to analysis is a static program analysis that extracts reference information from programs, e...
This artifact is provided to enable the reproducing of results in Section 4 of the companion paper "...
This is the artifact of paper Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast ...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
<p>This artifact is provided to reproduce the results of all four research questions (RQ1 -- RQ4) in...
This is the artefact of our paper titled "A Container-Usage-Pattern-based Context Debloating Approac...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
121 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.Overall, the accuracy of the ...
Abstract. In order to analyze programs that manipulate pointers, it is necessary to have safe inform...
This dissertation addresses the scalability problem of context-sensitive pointer analysis based on A...
Object-sensitivity is widely used as a context abstraction for computing the points-to information c...
as a dissertation for the degree of Doctor of Philosophy. Monica S. Lam(Principal Advisor
This artifact is provided to enable the reproducing of results in Section 5 of the companion paper "...
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an...
Points-to analysis is a static program analysis that extracts reference information from programs, e...
This artifact is provided to enable the reproducing of results in Section 4 of the companion paper "...
This is the artifact of paper Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast ...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
<p>This artifact is provided to reproduce the results of all four research questions (RQ1 -- RQ4) in...
This is the artefact of our paper titled "A Container-Usage-Pattern-based Context Debloating Approac...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
121 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.Overall, the accuracy of the ...
Abstract. In order to analyze programs that manipulate pointers, it is necessary to have safe inform...
This dissertation addresses the scalability problem of context-sensitive pointer analysis based on A...
Object-sensitivity is widely used as a context abstraction for computing the points-to information c...
as a dissertation for the degree of Doctor of Philosophy. Monica S. Lam(Principal Advisor
This artifact is provided to enable the reproducing of results in Section 5 of the companion paper "...
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an...
Points-to analysis is a static program analysis that extracts reference information from programs, e...