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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings / International Conference on Software Engineering s. 1819 - 1831
Hlavní autoři: Li, Haofeng, Shi, Chenghang, Lu, Jie, Li, Lian, Zhao, Zixuan
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 26.04.2025
Témata:
Analytical models
Benchmark testing
Context modeling
Context Sensitivity
Java
JPMS
Pointer Analysis
Semantics
Sensitivity
Software engineering
ISSN:1558-1225
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 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 Xplore
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/eLvHCXMwlV1LSwMxEB60ePBUHyu-ycFr3DbJJrtHKS0KWgpV6a3kMQuCdGXdqj_fJN1WPHjwFnIJmTD5JjP5vgG48oiMuRGMSmEFFcYGlyoEVZkL0jLCqii7-HyvxuN8NismLVk9cmEQMX4-w-swjLV8V9llSJWlHqpYkQfC9LZSakXW2ly70sfuLTeu3yvSu8F0mGVcKP8GZDFvwn53UIkAMur-c-k9SH6oeGSyAZl92MLFAXTXvRhI65qHkD5UbvmK9OZT10ii5tRXQ6bhe3q40MikCsIQNVmLkCTwNBo-Dm5p2wyBav_kaKjzkY5x1gMs5srqkguba4lYmCyzooe8LHjfoRYctdTG-cBPC8W5y5ThyrvaEXQW1QKPgXDOvPksQ6ms0EbmZamxDIrFJaJx7gSSYID520rvYr7e--kf82ewG2wcaixMnkOnqZd4ATv2o3l5ry_jKX0DVJ-TJw
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEG4MmugJHxjf9uC1An3uHg2BQARCAhpupI_ZxMSwZl3Un29bFowHD96aXppOM_PNtP2-QejOIzIkhlMiueWEGxtcKuVECRekZbhVUXbxeajG42Q-TycVWT1yYQAgfj6D-zCMb_kut6twVdb0UEXTJBCmdwXntL2ma20Dr_TZe8WOa7fS5qAz7QrBuPJVII03J_R3D5UIIb36Pxc_RI0fMh6ebGHmCO3A8hjVN90YcOWcJ6g5yt3qFcjDpy4AR9WprxJPwwf1ENLwJA_SEAXeyJA00FOvO-v0SdUOgWhfdJTE-VzHOOshFhJldca4TbQESI0QlreAZSlrO9CcgZbaOJ_6aa4Yc0IZpryznaLaMl_CGcKMUaWUpSCV5drIJMs0ZEGzOAMwzp2jRjDA4m2teLHY7P3ij_lbtN-fjYaL4WD8eIkOgr3DiwuVV6hWFiu4Rnv2o3x5L27iiX0DLKmWbg
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