{"id":"https://openalex.org/W7127366128","doi":"https://doi.org/10.48550/arxiv.2602.00457","title":"Context-Sensitive Pointer Analysis for ArkTS","display_name":"Context-Sensitive Pointer Analysis for ArkTS","publication_year":2026,"publication_date":"2026-01-31","ids":{"openalex":"https://openalex.org/W7127366128","doi":"https://doi.org/10.48550/arxiv.2602.00457"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2602.00457","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.00457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2602.00457","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115861137","display_name":"Yizhuo Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Yizhuo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124909827","display_name":"Lingyun Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Lingyun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124909882","display_name":"Mingyi Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Mingyi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5124901328","display_name":"Li Huayi Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.30149999260902405,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.30149999260902405,"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/T11424","display_name":"Security and Verification in Computing","score":0.16899999976158142,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.14890000224113464,"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/pointer-analysis","display_name":"Pointer analysis","score":0.8166999816894531},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.7196000218391418},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6254000067710876},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5910999774932861},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.5809000134468079},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5575000047683716},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.5257999897003174},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5209000110626221},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.4876999855041504},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.41589999198913574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8309000134468079},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.8166999816894531},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.7196000218391418},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6254000067710876},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5910999774932861},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.5809000134468079},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5575000047683716},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.5257999897003174},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5209000110626221},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49059998989105225},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.4876999855041504},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.41589999198913574},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.4142000079154968},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.38670000433921814},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.38589999079704285},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.37059998512268066},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.359499990940094},{"id":"https://openalex.org/C106937863","wikidata":"https://www.wikidata.org/wiki/Q7236518","display_name":"Power graph analysis","level":3,"score":0.3515999913215637},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.34060001373291016},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3386000096797943},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33739998936653137},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C204495577","wikidata":"https://www.wikidata.org/wiki/Q1205349","display_name":"Callback","level":2,"score":0.31459999084472656},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3077000081539154},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.28940001130104065},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.26980000734329224},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.26829999685287476},{"id":"https://openalex.org/C167063184","wikidata":"https://www.wikidata.org/wiki/Q1400839","display_name":"Vulnerability assessment","level":3,"score":0.2669999897480011},{"id":"https://openalex.org/C176359209","wikidata":"https://www.wikidata.org/wiki/Q2348963","display_name":"Control flow analysis","level":5,"score":0.2558000087738037},{"id":"https://openalex.org/C76363472","wikidata":"https://www.wikidata.org/wiki/Q1437394","display_name":"Formal concept analysis","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2602.00457","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.00457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2602.00457","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.00457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Current":[0],"call":[1,92],"graph":[2,93],"generation":[3],"methods":[4],"for":[5,11,73,133,246],"ArkTS,":[6],"a":[7,117,140,147,165,193,200],"new":[8],"programming":[9],"language":[10,59],"OpenHarmony,":[12],"exhibit":[13],"precision":[14],"limitations":[15],"when":[16],"supporting":[17],"advanced":[18,107],"static":[19,70,242],"analysis":[20,26,37,71,97,109,129,227,243],"tasks":[21],"such":[22],"as":[23],"data":[24],"flow":[25],"and":[27,61,80,95,146,199],"vulnerability":[28],"pattern":[29],"detection,":[30],"while":[31],"the":[32,52,62,104,125,156,161,172,240],"workflow":[33],"of":[34,83,106,222],"traditional":[35],"JavaScript(JS)/TypeScript(TS)":[36],"tools":[38,72,228],"fails":[39],"to":[40,76,88,155,175,197,217],"interpret":[41],"ArkUI":[42],"component":[43],"tree":[44],"semantics.":[45],"The":[46,205],"core":[47],"technical":[48,100],"bottleneck":[49],"originates":[50],"from":[51,167,215],"closure":[53],"mechanisms":[54],"inherent":[55],"in":[56,91,112,171,185,207],"TypeScript's":[57],"dynamic":[58],"features":[60],"interaction":[63],"patterns":[64],"involving":[65],"OpenHarmony's":[66],"framework":[67,130,244],"APIs.":[68],"Existing":[69],"ArkTS":[74,142],"struggle":[75],"achieve":[77],"effective":[78],"tracking":[79],"precise":[81],"deduction":[82],"object":[84,144],"reference":[85],"relationships,":[86],"leading":[87],"topological":[89],"fractures":[90],"reachability":[94],"diminished":[96],"coverage.":[98],"This":[99],"limitation":[101],"fundamentally":[102],"constrains":[103],"implementation":[105],"program":[108,226],"techniques.":[110],"Therefore,":[111],"this":[113],"paper,":[114],"we":[115,163],"propose":[116],"tool":[118],"named":[119],"ArkAnalyzer":[120,245],"Pointer":[121],"Analysis":[122],"Kit":[123],"(APAK),":[124],"first":[126],"context-sensitive":[127],"pointer":[128],"specifically":[131],"designed":[132],"ArkTS.":[134],"APAK":[135,235],"addresses":[136],"these":[137],"challenges":[138],"through":[139],"unique":[141],"heap":[143],"model":[145],"highly":[148],"extensible":[149],"plugin":[150],"architecture,":[151],"ensuring":[152],"future":[153,220],"adaptability":[154],"evolving":[157],"OpenHarmony":[158,173],"ecosystem.":[159],"In":[160],"evaluation,":[162],"construct":[164],"dataset":[166],"1,663":[168],"real-world":[169],"applications":[170],"ecosystem":[174],"evaluate":[176],"APAK,":[177],"demonstrating":[178],"APAK's":[179],"superior":[180],"performance":[181],"over":[182,203],"CHA/RTA":[183],"approaches":[184],"critical":[186],"metrics":[187],"including":[188],"valid":[189],"edge":[190,208],"coverage":[191,209],"(e.g.,":[192],"7.1%":[194],"reduction":[195],"compared":[196],"CHA":[198],"34.2%":[201],"increase":[202],"RTA).":[204],"improvement":[206],"systematically":[210],"reduces":[211],"false":[212],"positive":[213],"rates":[214],"20%":[216],"2%,":[218],"enabling":[219],"exploration":[221],"establishing":[223],"more":[224],"complex":[225],"based":[229],"on":[230],"our":[231],"framework.":[232],"Our":[233],"proposed":[234],"has":[236],"been":[237],"merged":[238],"into":[239],"official":[241],"OpenHarmony.":[247]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-02-04T00:00:00"}