{"id":"https://openalex.org/W4319865633","doi":"https://doi.org/10.1109/tr.2023.3236990","title":"Call-Graph-Based Context-Sensitive Points-to Analysis for Java","display_name":"Call-Graph-Based Context-Sensitive Points-to Analysis for Java","publication_year":2023,"publication_date":"2023-01-31","ids":{"openalex":"https://openalex.org/W4319865633","doi":"https://doi.org/10.1109/tr.2023.3236990"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2023.3236990","doi":"https://doi.org/10.1109/tr.2023.3236990","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2023.3236990","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","dongbi-b","jufo-2","norway-1","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10072/427694","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066761215","display_name":"Yulin Bao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yulin Bao","raw_affiliation_strings":["College of Information Science & Technology, Jinan University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Information Science & Technology, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054109702","display_name":"Chenyi Zhang","orcid":"https://orcid.org/0000-0002-3054-5883","observed_orcids":["https://orcid.org/0000-0002-3054-5883","https://orcid.org/0000-0003-2851-7186"]},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"id":"https://openalex.org/I185492890","display_name":"University of Canterbury","ror":"https://ror.org/03y7q9t39","country_code":"NZ","type":"education","lineage":["https://openalex.org/I185492890"]}],"countries":["CN","NZ"],"is_corresponding":false,"raw_author_name":"Chenyi Zhang","raw_affiliation_strings":["College of Information Science & Technology, Jinan University, Guangzhou, China","School of Computer Science & Software Engineering, University of Canterbury, Christchurch, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-3054-5883","affiliations":[{"raw_affiliation_string":"College of Information Science & Technology, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]},{"raw_affiliation_string":"School of Computer Science & Software Engineering, University of Canterbury, Christchurch, New Zealand","institution_ids":["https://openalex.org/I185492890"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037325282","display_name":"Kaile Su","orcid":"https://orcid.org/0000-0001-6741-9699","observed_orcids":["https://orcid.org/0000-0001-6741-9699"]},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Kaile Su","raw_affiliation_strings":["School of Information & Communication Technology, Griffith University, Brisbane, QLD, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information & Communication Technology, Griffith University, Brisbane, QLD, Australia","institution_ids":["https://openalex.org/I11701301"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2345,"currency":"USD","value_usd":2345},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"73","issue":"2","first_page":"851","last_page":"860"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9779999852180481,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9779999852180481,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.014800000004470348,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.0015999999595806003,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/points-to-analysis","display_name":"points-to analysis","score":0.8370000123977661},{"id":"https://openalex.org/keywords/context-sensitive-analysis","display_name":"context-sensitive analysis","score":0.8519999980926514},{"id":"https://openalex.org/keywords/call-graph","display_name":"call graph","score":0.7310000061988831},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7229999899864197},{"id":"https://openalex.org/keywords/context-generation","display_name":"context generation","score":0.7080000042915344},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.7680000066757202},{"id":"https://openalex.org/keywords/soot","display_name":"soot","score":0.777999997138977},{"id":"https://openalex.org/keywords/dacapo-benchmarks","display_name":"DaCapo benchmarks","score":0.800000011920929}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8302704691886902},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.8071749210357666},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.7219913601875305},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5979360342025757},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.5549488663673401},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5452746152877808},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5223411321640015},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5009443759918213},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49409201741218567},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4730364978313446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4725075662136078},{"id":"https://openalex.org/C106937863","wikidata":"https://www.wikidata.org/wiki/Q7236518","display_name":"Power graph analysis","level":3,"score":0.4533816874027252},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.44308099150657654},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.4266432523727417},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.42640674114227295},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.42024290561676025},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.371738463640213},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1279633641242981},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.11621662974357605},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tr.2023.3236990","doi":"https://doi.org/10.1109/tr.2023.3236990","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2023.3236990","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","dongbi-b","jufo-2","norway-1","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072/427694","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10072/427694","pdf_url":null,"source":{"id":"https://openalex.org/S7407064376","display_name":"Griffith Research Online","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"}],"best_oa_location":{"id":"pmh:oai:research-repository.griffith.edu.au:10072/427694","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10072/427694","pdf_url":null,"source":{"id":"https://openalex.org/S7407064376","display_name":"Griffith Research Online","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1536098516","https://openalex.org/W1557543533","https://openalex.org/W1971859150","https://openalex.org/W1978594327","https://openalex.org/W2051527230","https://openalex.org/W2093080079","https://openalex.org/W2118382442","https://openalex.org/W2131135493","https://openalex.org/W2149237601","https://openalex.org/W2162544703","https://openalex.org/W2166091242","https://openalex.org/W2396234346","https://openalex.org/W2508295954","https://openalex.org/W2553375745","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W2980018082","https://openalex.org/W3108348169","https://openalex.org/W4243644740","https://openalex.org/W4247889999","https://openalex.org/W4251478049","https://openalex.org/W4280616461","https://openalex.org/W6682018898"],"related_works":["https://openalex.org/W1987035533","https://openalex.org/W7098324797","https://openalex.org/W3163546604","https://openalex.org/W2097450386","https://openalex.org/W7000907991","https://openalex.org/W2734867151","https://openalex.org/W2133497528","https://openalex.org/W2761799536","https://openalex.org/W2615617930","https://openalex.org/W4280616461"],"abstract_inverted_index":{"Pointer":[0],"analysis":[1,4,10],"or":[2],"points-to":[3,71],"(PTA)":[5],"is":[6],"a":[7,14,18,54,77,109,145],"static":[8],"program":[9],"for":[11,70,106,140],"variables":[12,25],"in":[13,96,108],"program,":[15],"which":[16,63],"determines":[17],"set":[19],"of":[20,37,47,134,147],"heap":[21],"objects":[22],"that":[23,56,82],"individual":[24],"may":[26],"refer":[27],"to":[28,43,120],"at":[29],"run":[30],"time.":[31],"In":[32,49,73],"the":[33,45,84,94,97,135,150],"literature,":[34],"various":[35],"types":[36],"context-sensitive":[38,59,138],"analyses":[39],"have":[40],"been":[41,118],"applied":[42],"improve":[44],"precision":[46,123],"PTA.":[48],"this":[50],"article,":[51],"we":[52,64,75,92],"propose":[53,76],"framework":[55],"unifies":[57],"existing":[58],"PTA":[60,86,89,141],"methods,":[61],"under":[62],"further":[65],"explore":[66],"more":[67,110],"efficient":[68],"ways":[69],"calculation.":[72],"particular,":[74],"call-graph-based":[78],"context":[79],"generation":[80],"algorithm":[81,95,103],"combines":[83],"object-sensitive":[85],"and":[87,91,112,115,128],"parameter-sensitive":[88],"approaches,":[90],"implement":[93],"Soot":[98],"compiler":[99],"framework.":[100],"Our":[101],"new":[102],"generates":[104],"contexts":[105,127],"methods":[107],"complete":[111],"effective":[113],"way,":[114],"it":[116],"has":[117],"shown":[119],"achieve":[121],"better":[122],"with":[124,144],"fewer":[125],"generated":[126],"less":[129],"execution":[130],"time":[131],"than":[132],"some":[133],"known":[136],"state-of-the-art":[137],"approaches":[139],"when":[142],"tested":[143],"selection":[146],"benchmarks":[148],"from":[149],"DaCapo":[151],"suite.":[152]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2023-02-11T00:00:00"}