This artifact is provided to enable the reproducing of results in Section 4 of the companion paper "Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity". To use this artifact, please start by reading Getting-Started-Guide.pdf and Step-by-Step-Instructions.pdf in the artifact package
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
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...
This is the artifact for the paper: Making Pointer Analysis More Precise by Unleashing the Power of...
<p>This artifact is provided to reproduce the results of all four research questions (RQ1 -- RQ4) in...
This is the artifact of paper Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast ...
This is the artefact of our paper titled "A Container-Usage-Pattern-based Context Debloating Approac...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
This artifact is provided to enable the reproducing of results in Section 5 of the companion paper "...
121 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.Overall, the accuracy of the ...
Object-sensitivity is widely used as a context abstraction for computing the points-to information c...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
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...
This is the artifact for the paper: Making Pointer Analysis More Precise by Unleashing the Power of...
<p>This artifact is provided to reproduce the results of all four research questions (RQ1 -- RQ4) in...
This is the artifact of paper Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast ...
This is the artefact of our paper titled "A Container-Usage-Pattern-based Context Debloating Approac...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
This is the artifact of Qilin, a New Framework for Supporting Fine-Grained Context-Sensitivity in J...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
This artifact is provided to enable the reproducing of results in Section 5 of the companion paper "...
121 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.Overall, the accuracy of the ...
Object-sensitivity is widely used as a context abstraction for computing the points-to information c...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
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...
DOI
Add to ORKG