tai-e / cut-shortcut

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis

Cut-Shortcut

This repository contains only a README.md file. Its purpose is to store work related to Tai-e — specifically, the Cut-Shortcut. Comprehensive details are available in the PLDI 2023 paper. For instructions on reproducing the results detailed in the paper, refer to the documentation within the artifact.

Note

This repository will be either archived or deleted once Cut-Shortcut is officially re-implemented and integrated upon the latest version of (Tai-e#62).

As a courtesy to the original researchers' work, we expect that you please cite the PLDI 2023 paper related to the Cut-Shortcut when referencing it in your research work:

@article{10.1145/3591242,
    author = {Ma, Wenjie and Yang, Shengyuan and Tan, Tian and Ma, Xiaoxing and Xu, Chang and Li, Yue},
    title = {Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis},
    year = {2023},
    issue_date = {June 2023},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {7},
    number = {PLDI},
    url = {https://doi.org/10.1145/3591242},
    doi = {10.1145/3591242},
    journal = {Proc. ACM Program. Lang.},
    month = {jun},
    articleno = {128},
    numpages = {26},
    keywords = {Java, Pointer Analysis, Alias Analysis, Context Sensitivity}
}