Module-Aware Context Sensitive Pointer Analysis
The Java Platform Module System (JPMS) has found widespread applications since introduced in Java 9. However, existing pointer analyses fail to leverage the semantics of JPMS. This paper presents a novel module-aware approach to improving the performance of pointer analysis. We model the semantics o...
Uložené v:
| Vydané v: | Proceedings / International Conference on Software Engineering s. 1819 - 1831 |
|---|---|
| Hlavní autori: | , , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
26.04.2025
|
| Predmet: | |
| ISSN: | 1558-1225 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The Java Platform Module System (JPMS) has found widespread applications since introduced in Java 9. However, existing pointer analyses fail to leverage the semantics of JPMS. This paper presents a novel module-aware approach to improving the performance of pointer analysis. We model the semantics of keywords provides and uses in JPMS to recover missing points-to relations. We design a module-aware context-sensitive analysis, which can propagate and apply critical contexts (by exploiting modularity) to balance precision and efficiency better. We have implemented our module-aware pointer analysis named MPA in TAI - E and conducted extensive experiments to compare it with standard object-sensitivity. The evaluation results demonstrate that MPA finds more reachable methods and enhances existing context-sensitive approaches, striking a good balance between efficiency and precision. MPA can increase the number of reachable methods up to 90.9× (lombok) under the same analysis. Performance-wise, MPA is nearly as fast as context-insensitivity for most benchmarks, while its precision is superior to that of 1-object-sensitivity on average. |
|---|---|
| AbstractList | The Java Platform Module System (JPMS) has found widespread applications since introduced in Java 9. However, existing pointer analyses fail to leverage the semantics of JPMS. This paper presents a novel module-aware approach to improving the performance of pointer analysis. We model the semantics of keywords provides and uses in JPMS to recover missing points-to relations. We design a module-aware context-sensitive analysis, which can propagate and apply critical contexts (by exploiting modularity) to balance precision and efficiency better. We have implemented our module-aware pointer analysis named MPA in TAI - E and conducted extensive experiments to compare it with standard object-sensitivity. The evaluation results demonstrate that MPA finds more reachable methods and enhances existing context-sensitive approaches, striking a good balance between efficiency and precision. MPA can increase the number of reachable methods up to 90.9× (lombok) under the same analysis. Performance-wise, MPA is nearly as fast as context-insensitivity for most benchmarks, while its precision is superior to that of 1-object-sensitivity on average. |
| Author | Li, Lian Li, Haofeng Zhao, Zixuan Shi, Chenghang Lu, Jie |
| Author_xml | – sequence: 1 givenname: Haofeng surname: Li fullname: Li, Haofeng email: lihaofeng@ict.ac.cn organization: Institute of Computing Technology, CAS,SKLP,China – sequence: 2 givenname: Chenghang surname: Shi fullname: Shi, Chenghang email: shichenghang21s@ict.ac.cn organization: Institute of Computing Technology, CAS,SKLP,China – sequence: 3 givenname: Jie surname: Lu fullname: Lu, Jie email: lujie@ict.ac.cn organization: Institute of Computing Technology, CAS,SKLP,China – sequence: 4 givenname: Lian surname: Li fullname: Li, Lian email: lianli@ict.ac.cn organization: Institute of Computing Technology, CAS,SKLP,China – sequence: 5 givenname: Zixuan surname: Zhao fullname: Zhao, Zixuan organization: Huawei Technologies Co. Ltd,China |
| BookMark | eNotj8tKw0AUQEdRsK39gy7yA0nvzJ07j2UJVQsVheq6TDI3EImJZOKjf29BVwfO4sCZi6t-6FmIlYRCSvDrXXnYEqG2hQJFBYBS9kIsvfUOURKQ8fJSzCSRy6VSdCPmKb0BgNHez8T6cYifHeeb7zByVg79xD9TduA-tVP7xdnz0J7VmG360J1Sm27FdRO6xMt_LsTr3falfMj3T_e7crPPgzIw5VGTqWKNTrKzdWhQ1y4YZl8R1RoYG48yctDIwYQqeu-DtoiRbIUWCBdi9ddtmfn4MbbvYTwdz8fKO5L4CxrDRj8 |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/ICSE55347.2025.00227 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 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 | 9798331505691 |
| EISSN | 1558-1225 |
| EndPage | 1831 |
| ExternalDocumentID | 11029851 |
| Genre | orig-research |
| GroupedDBID | -~X .4S .DC 29O 5VS 6IE 6IF 6IH 6IK 6IL 6IM 6IN 8US AAJGR AAWTH ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS ARCSS AVWKF BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO EDO FEDTE I-F IEGSK IJVOP IPLJI M43 OCL RIE RIL RIO |
| ID | FETCH-LOGICAL-a260t-d456bdc381e87caf34c8a6ee9b55c40e3f931dea43ea6abd999a4733d57b37053 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001538318100142&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 01:40:13 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a260t-d456bdc381e87caf34c8a6ee9b55c40e3f931dea43ea6abd999a4733d57b37053 |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_11029851 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-April-26 |
| PublicationDateYYYYMMDD | 2025-04-26 |
| PublicationDate_xml | – month: 04 year: 2025 text: 2025-April-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings / International Conference on Software Engineering |
| PublicationTitleAbbrev | ICSE |
| PublicationYear | 2025 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0006499 |
| Score | 2.2896414 |
| Snippet | The Java Platform Module System (JPMS) has found widespread applications since introduced in Java 9. However, existing pointer analyses fail to leverage the... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1819 |
| SubjectTerms | Analytical models Benchmark testing Context modeling Context Sensitivity Java JPMS Pointer Analysis Semantics Sensitivity Software engineering |
| Title | Module-Aware Context Sensitive Pointer Analysis |
| URI | https://ieeexplore.ieee.org/document/11029851 |
| WOSCitedRecordID | wos001538318100142&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/eLvHCXMwlV1LSwMxEA5aPHiqj4pvcvAa281zc5TSogdLoQq9lTwmIEhX1q36803SbcWDB28hl5AJmfnm8c0gdFNyHYKXlBRGAeHMWmKcdCRwLqziQgdm87AJNZmU87metmT1zIUBgFx8BrdpmXP5vnKrFCrrR1NFdZkI07tKqTVZa6t2ZcTuLTeuGOj-w3A2EoJxFX1AmuMm9PcElWxAxt1_Hn2Aej9UPDzdGplDtAPLI9TdzGLA7dc8Rv3Hyq9egdx9mhpw7jn11eBZKk9PCg1Pq9QYosabJiQ99DwePQ3vSTsMgZjocjTER6RjvYsGFkrlTGDclUYCaCuE4wNgQbPCg-EMjDTWR-BnuGLMC2WZil_tBHWW1RJOERZGyYECL0GEiNeEdkXEgSz6SoYGSdUZ6iUBLN7W_S4Wm7uf_7F_gfaTjFOOhcpL1GnqFVyhPffRvLzX1_mVvgFqfJLt |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA5SBT3VR8W3e_Aa281zc5RSabEthVboreQxC4J0Zd2qP98k3VY8ePAWcgmZkJlvHt8MQncZU3nuBMGploAZNQZrKyzOGeNGMq5yauKwCTkeZ_O5mtRk9ciFAYBYfAb3YRlz-a6wqxAqa3tTRVQWCNO7nDGSrulaW8UrPHqv2XFpR7UH3WmPc8qk9wJJjJyQ3zNUogl5bP7z8EPU-iHjJZOtmTlCO7A8Rs3NNIak_pwnqD0q3OoV8MOnLiGJXae-qmQaCtSDSksmRWgNUSabNiQt9PzYm3X7uB6HgLV3OirsPNYxznoTC5m0OqfMZloAKMO5ZR2guaKpA80oaKGN89BPM0mp49JQ6T_bKWosiyWcoYRrKToSnACee8TGlU09EqTeW9IkF0Seo1YQwOJt3fFisbn7xR_7t2i_PxsNF8PB-OkSHQR5h4wLEVeoUZUruEZ79qN6eS9v4ot9A0JsljQ |
| 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%3Abook&rft.genre=proceeding&rft.title=Proceedings+%2F+International+Conference+on+Software+Engineering&rft.atitle=Module-Aware+Context+Sensitive+Pointer+Analysis&rft.au=Li%2C+Haofeng&rft.au=Shi%2C+Chenghang&rft.au=Lu%2C+Jie&rft.au=Li%2C+Lian&rft.date=2025-04-26&rft.pub=IEEE&rft.eissn=1558-1225&rft.spage=1819&rft.epage=1831&rft_id=info:doi/10.1109%2FICSE55347.2025.00227&rft.externalDocID=11029851 |