Making k -object-sensitive pointer analysis more precise with still k –limiting

被引：0
|
作者：
School of Computer Science and Engineering, UNSW Australia, Sydney, Australia [1 ]
不详 [2 ]
机构：
来源：
Lect. Notes Comput. Sci. | 1600年 / 489-510期
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
23rd International Symposium on Static Analysis, SAS 2016
中图分类号：
学科分类号：
摘要：
Open source software - Abstracting
引用
收藏
相关论文
共 50 条
  • [1] Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
    Tan, Tian
    Li, Yue
    Xue, Jingling
    STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 489 - 510
  • [2] Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis
    Lu, Jingbo
    He, Dongjie
    Li, Wei
    Gao, Yaoqing
    Xue, Jingling
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 736 - 747
  • [3] Context Debloating for Object-Sensitive Pointer Analysis
    He, Dongjie
    Lu, Jingbo
    Xue, Jingling
    2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING ASE 2021, 2021, : 79 - 91
  • [4] IFDS-based Context Debloating for Object-Sensitive Pointer Analysis
    He, Dongjie
    Lu, Jingbo
    Xue, Jingling
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (04)
  • [5] Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis
    He, Dongjie
    Lu, Jingbo
    Gao, Yaoqing
    Xue, Jingling
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (02) : 719 - 742
  • [6] Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
    Lu, Jingbo
    Xue, Jingling
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [7] Object-sensitive Type Analysis of PHP
    van der Hoek, Henk Erik
    Hage, Jurriaan
    PROCEEDINGS OF THE 2015 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'15), 2015, : 9 - 20
  • [8] A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
    He, Dongjie
    Gui, Yujiang
    Li, Wei
    Tao, Yonggang
    Zou, Changwei
    Sui, Yulei
    Xue, Jingling
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [9] Object-sensitive cost analysis for concurrent objects
    Albert, Elvira
    Arenas, Puri
    Correas, Jesus
    Genaim, Samir
    Gomez-Zamalloa, Miguel
    Puebla, German
    Roman-Diez, Guillermo
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (03): : 218 - 271
  • [10] Object-sensitive query analysis for video search
    Liu, Jingjing
    Hua, Xian-Sheng
    Li, Shipeng
    2007 IEEE NINTH WORKSHOP ON MULTIMEDIA SIGNAL PROCESSING, 2007, : 361 - +
12345