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...
Uloženo v:
| Vydáno v: | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 79 - 91 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
01.11.2021
|
| Témata: | |
| ISSN: | 2643-1572 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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/eLvHCXMwlV1LS8NAEF5q8eCpaiu-2YNHt022m30cRSyeaqEKvZXZFwjSSE3Fn-9sklYEL54SlhDCZDPfzGS-bwi5kUVwiCyOYTAsmfBgmY05Z865MEZEx0MzbEJNp3qxMLMOud1xYUIIdfNZGKbT-l--L90mlcpGRqaEDRP0PaVkw9Xa7h3ch0LU0nGNF0aYVqpl7OSZGd3NH3CJpyoKz4ftjX5NVKkBZdL736McksEPM4_OdphzRDphdUx629EMtP1S-0TXqlNfFUV_8lZC6m2mGJ7SJ5vqLmye2taTo6OzMglGrOlWnGRAXiYPz_ePrB2SwACTnYrpABlYwEjCxRjGIJWPNou5dAXwAjIVjBYhAnda6OAdXpkbKwoAnrLTYnxCuqtyFU4JReTOXARvwEhhM4xUuJIeCu9B5-D8GeknQyzfGx2MZWuD87-XL8hBsnXD27sk3Wq9CVdk331Wrx_r6_rlfQML-psk |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEB1KFfRUtRW_3YNHt002u_k4irRUrLXQCr2Vye4GBGmkpuLPdzZJK4IXTwlLCGGymTczmfcG4CZUVhOyaE7BcMilwZSnmS-41toGhOh0qIZNRONxPJ8nkwbcbrkw1tqy-cx23Wn5L9_keu1KZb0kdAkbJeg7SkrhVWytze6hnShlKR5X-WEC6iiqOTu-l_Tupn1aEq6OIvxufatfM1VKSBm0_vcwB9D54eaxyRZ1DqFhl0fQ2gxnYPW32oa41J36Khh5lLccXXczowCVPaeu8sKnrnHduTo2yZ1kxIpt5Ek68DLoz-6HvB6TwJHSnYLHFj1MkWIJnWU2wDAyWeplfqgVCoVeZJNY2gyFjmVsjaYr_SSVClG4_FQFx9Bc5kt7Aoyw29MZmgSTUKYexSoiCg0qYzD2UZtTaDtDLN4rJYxFbYOzv5evYW84exotRg_jx3PYd3avWHwX0CxWa3sJu_qzeP1YXZUv8htPd55r |
| 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 |