Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jingbo Lu, Dongjie He, Jingling Xue. Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity. ACM Transactions on Software Engineering Methodology, 30(4), 2021. [doi]

The following publications are possibly variants of this publication:

Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-ReachabilityJingbo Lu. PhD thesis, University of New South Wales, Sydney, Australia, 2020. [doi]

Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivityJingbo Lu, Jingling Xue. PACMPL, 3(OOPSLA), 2019. [doi]

Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer AnalysisDongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue. TSE, 49(2):719-742, February 2023. [doi]

runs on WebDSL