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 Proceedings Order Plan All Online (POP All Online) 1998-present by volume
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.2368665
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/eLvHCXMwlV3NS8MwFA9zePA0dRO_ycGj2do0aZqjyIanOZjCbiMfryDIKrMb_vm-pN1E8OKthLa0L8n7yvv9HiF3XnkZjqeY9DJjQlvHdA6SOeXRXnqR-szFZhNqOi0WCz3rkPs9FgYAYvEZDMNlPMv3lduEVNlI5yFgwwD9QKm8wWrt1g6uQyEidVyjhdFMK9UidtJEjx7mYxziIYvC02H7ol8dVaJBmfT-9ynHZPCDzKOzvc05IR1YnZLerjUDbXdqnxSRdeqrpqhP3isTapspuqf02Ya8C5uHsvWg6OisCoQRa7ojJxmQ18n45fGJtU0SmMFgp2YFmMRYg56EK0vITK58aZMyzZ00XJpEgS4ElIa7QhTgHd6ZaiukMTxEpzI7I91VtYJzQgF3O-ADXCkQOitRUeJfGltY9PlKxS9IPwhi-dHwYCxbGVz-PXxFjoKsG9zeNenW6w3ckEO3rd8-17dx8r4BXbaZpw
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFH-MKehp6iZ-m4NHs7Vp0jRHkY2Jcw42YbeRJq8gyCqzE_98k7abCF68ldCW9iV5X3m_3wO4sdIKfzxFhRUR5So1VMUoqJHW2UvLQxuZstmEHI-T-VxNGnC7xcIgYll8hl1_WZ7l29ysfaqsp2IfsLkAfUdwzoIKrbVZPW4lcl6Sx1V62BlqKWvMThio3t2074aYz6OwsFu_6ldPldKkDFr_-5gD6Pxg88hka3UOoYHLI2htmjOQeq-2ISl5p74K4jTKW659dTNxDip5Tn3mhU594bpXdWSSe8qIFdnQk3TgZdCf3Q9p3SaBahfuFDRBHehUO1_CZBlGOpY2S4MsjI3QTOhAoko4ZpqZhCdojbszVCkXWjMfn4roGJrLfIknQNDtd3QPMCmRqyhzqtL9pU6T1Hl9mWSn0PaCWLxXTBiLWgZnfw9fw95w9jRajB7Gj-ew7-VeofguoFms1ngJu-azeP1YXZUT-Q2N_5zu
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