Work

Cut-Shortcut Whole-Program Pointer Analysis: Re-imagining Context-Sensitivity without Contexts (Artifact)

Year: 2026

Type: software

Abstract: This is the artifact of the paper Cut-Shortcut Whole-Program Pointer Analysis: Re-imagining Context-Sensitivity without Contexts

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19197253

Authors: Yang, Shengyuan, Ma, Wenjie, Reps, Thomas, Tan, Tian, Li, Yue

Institutions: University of Wisconsin–Madison, University of California, Berkeley, Nanjing University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7140930596

Cites:

Cited by: 1

Related to: 10