Context Debloating for Object-Sensitive Pointer Analysis

We Introduce a new approach, Conch, for debloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects. Our key insight is to approximate a recently proposed set of...

Full description

Saved in:
Bibliographic Details
Published in:IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 79 - 91
Main Authors: He, Dongjie, Lu, Jingbo, Xue, Jingling
Format: Conference Proceeding
Language:English
Published: IEEE 01.11.2021
Subjects:
Approximation algorithms
Cognition
Debloating
Java
Object Sensitivity
Pointer Analysis
Receivers
Software engineering
ISSN:2643-1572
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract We Introduce a new approach, Conch, for debloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects. Our key insight is to approximate a recently proposed set of two necessary conditions for an object to be context-sensitive, i.e., context-dependent (whose precise verification is undecidable) with a set of three linearly verifiable conditions (in terms of the number of statements in the program) that are almost always necessary for real-world object-oriented applications, based on three key observations regarding context-dependability for their objects used. To create a practical implementation, we introduce a new IFDS-based algorithm for reasoning about object reachability in a program. By debloating contexts for two representative object-sensitive pointer analyses applied to a set of 12 representative Java programs, Conch can speed up the two baselines together substantially (3.1x on average with a maximum of 15.9x) and analyze 7 more programs scalably, but at only a negligible loss of precision (less than 0.1%).
AbstractList We Introduce a new approach, Conch, for debloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects. Our key insight is to approximate a recently proposed set of two necessary conditions for an object to be context-sensitive, i.e., context-dependent (whose precise verification is undecidable) with a set of three linearly verifiable conditions (in terms of the number of statements in the program) that are almost always necessary for real-world object-oriented applications, based on three key observations regarding context-dependability for their objects used. To create a practical implementation, we introduce a new IFDS-based algorithm for reasoning about object reachability in a program. By debloating contexts for two representative object-sensitive pointer analyses applied to a set of 12 representative Java programs, Conch can speed up the two baselines together substantially (3.1x on average with a maximum of 15.9x) and analyze 7 more programs scalably, but at only a negligible loss of precision (less than 0.1%).
Author Xue, Jingling
He, Dongjie
Lu, Jingbo
Author_xml – sequence: 1
  givenname: Dongjie
  surname: He
  fullname: He, Dongjie
  organization: UNSW Sydney
– sequence: 2
  givenname: Jingbo
  surname: Lu
  fullname: Lu, Jingbo
  organization: UNSW Sydney
– sequence: 3
  givenname: Jingling
  surname: Xue
  fullname: Xue, Jingling
  organization: UNSW Sydney
BookMark eNotj8tKw0AUQEdRsK39AhHyA4nznptliK0KhQrVdbmT3pGRmEhmEPv3FuzqbA4HzpxdDeNAjN0LXgnB64dmtzLCSF1JLkVVWwcA_ILNhbVGc6WcumQzabUqhXHyhi1Tip5rAK1dbWcM2nHI9JuLR_L9iDkOH0UYp2LrP6nL5Y6GFHP8oeJ1jCdxKpoB-2OK6ZZdB-wTLc9csPf16q19Ljfbp5e22ZQoweUSCDl65NZ0IZBC6w7B8yBsZ1Aa5I5q0BRQdqCBDt3JFLXXBlEqBcqoBbv770Yi2n9P8Qun4_48qv4ASNZKMA
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ASE51524.2021.9678880
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 1665403373
9781665403375
EISSN 2643-1572
EndPage 91
ExternalDocumentID 9678880
Genre orig-research
GroupedDBID 29I
6IE
6IF
6IH
6IK
6IL
6IM
6IN
6J9
AAJGR
AAWTH
ABLEC
ACREN
ADYOE
ADZIZ
AFYQB
ALMA_UNASSIGNED_HOLDINGS
AMTXH
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
ID FETCH-LOGICAL-a287t-8ea0aba065cffe3a67dfb0f16c5a25a07e984efa2c848edca0619b45aa2338353
IEDL.DBID RIE
ISICitedReferencesCount 11
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000779309000010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 03:02:55 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a287t-8ea0aba065cffe3a67dfb0f16c5a25a07e984efa2c848edca0619b45aa2338353
PageCount 13
ParticipantIDs ieee_primary_9678880
PublicationCentury 2000
PublicationDate 2021-Nov.
PublicationDateYYYYMMDD 2021-11-01
PublicationDate_xml – month: 11
  year: 2021
  text: 2021-Nov.
PublicationDecade 2020
PublicationTitle IEEE/ACM International Conference on Automated Software Engineering : [proceedings]
PublicationTitleAbbrev ASE
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib048844796
ssj0051577
Score 2.236766
Snippet We Introduce a new approach, Conch, for debloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages,...
SourceID ieee
SourceType Publisher
StartPage 79
SubjectTerms Approximation algorithms
Cognition
Debloating
Java
Object Sensitivity
Pointer Analysis
Receivers
Software engineering
Title Context Debloating for Object-Sensitive Pointer Analysis
URI https://ieeexplore.ieee.org/document/9678880
WOSCitedRecordID wos000779309000010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA5zePA0dRN_k4NHszVZ2iRHkQ0PMgdT2W28pC8gyCpbJ_75Jm03Ebx4K-FRymv6Xr7X932PkBvNM4U2FqqCBZPeATPaW4Y-8ZznwmYVj_v1UU0mej430xa53XFhELFqPsN-vKz-5eeF28RS2cBkEbAFgL6nVFZztbZ7J-xDKSvpuDoKhzStVMPY4YkZ3M1GYUnEKorg_eZGvyaqVAll3PnfoxyS3g8zj053OeeItHB5TDrb0Qy0-VK7RFeqU18lDfHkvYDY20zD8ZQ-2Vh3YbPYth4DHZ0WUTBiRbfiJD3yMh493z-wZkgCgwB2SqYRErAQThLOexxCpnJvg58zl4JIIVFotEQPwmmpMXfBkhsrUwAR0Wk6PCHtZbHEU0IhczbAN8u9AolDYQVIhY4bF-yNN2ekGx2x-Kh1MBaND87_Xr4gB9HXNW_vkrTL1QavyL77LN_Wq-vq5X0DPNSbMQ
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fS8MwED6GCvo0dRN_mwcf7dZkaZM8imxMnHOwKXsbSXYBQVaZnfjnm7TdRPDFtxKOUq7pXb7rfd8BXEuaCjShUOUtIu6sjpR0JkIXO0rnzKQFj_tlIIZDOZ2qUQ1uNlwYRCyaz7AVLot_-fPMrkKprK3SANg8QN9OOGdxydZa7x6_EzkvxOPKOOwTtRAVZ4fGqn077volFuoojLaqW_2aqVKklF79fw-zD80fbh4ZbbLOAdRwcQj19XAGUn2rDZCF7tRXTnxEect06G4m_oBKnkyovETj0LgeQh0ZZUEyYknW8iRNeO51J3f9qBqTEGkPd_JIoo610f4sYZ3Djk7F3Bnv6dQmmiU6FqgkR6eZlVzi3HpLqgxPtGYBnyadI9haZAs8BqJTazyAM9QJzbHDDNNcoKXKenvl1Ak0giNm76USxqzywenfy1ew2588DmaD--HDGewFv5csvnPYypcrvIAd-5m_fiwvixf5DYERnng
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=IEEE%2FACM+International+Conference+on+Automated+Software+Engineering+%3A+%5Bproceedings%5D&rft.atitle=Context+Debloating+for+Object-Sensitive+Pointer+Analysis&rft.au=He%2C+Dongjie&rft.au=Lu%2C+Jingbo&rft.au=Xue%2C+Jingling&rft.date=2021-11-01&rft.pub=IEEE&rft.eissn=2643-1572&rft.spage=79&rft.epage=91&rft_id=info:doi/10.1109%2FASE51524.2021.9678880&rft.externalDocID=9678880