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...
Gespeichert in:
| Veröffentlicht in: | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 79 - 91 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.11.2021
|
| Schlagworte: | |
| ISSN: | 2643-1572 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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.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/eLvHCXMwlV1NS8NAEF1q8eCpait-swePps3HJrs5irR4qoUq9FZmk1kQpJGaFn--M5u0InjxFpZkWSabmX2TefOEuEOWVXXA8u1oCKBkGABAGBhnCT4nFFEceLEJPZ2axSKfdcT9nguDiL74DId86f_ll1Wx4VTZKM8YsBFAP9A6a7hau71D-1Ap3zqu8cIUprVuGTtRmI8e5mMaijmLEkfDdqJfiio-oEx6_1vKsRj8MPPkbB9zTkQHV6eit5NmkO2X2hfGd536qiX5k_cKuLZZ0vFUPlvOuwRzLltnRydnFTeMWMtdc5KBeJ2MXx6fglYkIQACO3VgEEKwQCeJwjlMINOls6GLsiKFOIVQY24UOogLowyWBd0Z5ValADGj0zQ5E91VtcJzIaGE1CqCDDoCRW7PRjoBgwk9oAnFqQvRZ0MsP5o-GMvWBpd_D1-JI7Z1w9u7Ft16vcEbcVhs67fP9a1_ed-9npoD |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEB1KFfRUtRW_3YNH0-Zjk90cRVoq1lpohd7KJJkFQRqpqfjznU3SiuDFW1iSZZlsZvZN5s0DuCErq2rQyreTZoASkYOIrqNNwvA54IhisBSbUOOxns_jSQNut1wYIiqLz6hrL8t_-Vmerm2qrBdHFrAxQN8JpfTdiq212T28E6Usm8dVfpgDtVI1Z8dz497dtM9Dvs2j-F63nuqXpkoZUgat_y3mADo_3Dwx2UadQ2jQ8ghaG3EGUX-rbdBl36mvQrBHecvRVjcLPqCK58RmXpypLVy3rk5MctsyYiU27Uk68DLoz-6HTi2T4CDDncLRhC4myGeJ1BgKMFKZSVzjRWmIfoiuolhLMuinWmrKUr7TixMZIvoWn4bBMTSX-ZJOQGCGYSIZNCgPJTu-xFMBagr4AcU4Tp5C2xpi8V51wljUNjj7e_ga9oazp9Fi9DB-PId9a_eKxXcBzWK1pkvYTT-L14_VVfkivwHycZ1K |
| 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 |