{"id":"https://openalex.org/W4387963997","doi":"https://doi.org/10.48550/arxiv.2310.16559","title":"Multi-structure Objects Points-to Analysis","display_name":"Multi-structure Objects Points-to Analysis","publication_year":2023,"publication_date":"2023-10-25","ids":{"openalex":"https://openalex.org/W4387963997","doi":"https://doi.org/10.48550/arxiv.2310.16559"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2310.16559","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2310.16559","pdf_url":"https://arxiv.org/pdf/2310.16559","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2310.16559","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102152068","display_name":"Xun An","orcid":"https://orcid.org/0009-0003-4598-391X","observed_orcids":["https://orcid.org/0009-0003-4598-391X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"An, Xun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5102152068"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9404000043869019,"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.9404000043869019,"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.026499999687075615,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.017500000074505806,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"pointer analysis","score":0.9800000190734863},{"id":"https://openalex.org/keywords/alias-analysis","display_name":"alias analysis","score":0.597000002861023}],"concepts":[{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.8744041919708252},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7835792303085327},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7000848054885864},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.6634343266487122},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.6615864038467407},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.41035333275794983},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3362535834312439},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23768997192382812},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.20910006761550903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20891043543815613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2310.16559","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2310.16559","pdf_url":"https://arxiv.org/pdf/2310.16559","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2310.16559","doi":"https://doi.org/10.48550/arxiv.2310.16559","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2310.16559","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2310.16559","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2310.16559","pdf_url":"https://arxiv.org/pdf/2310.16559","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387963997.pdf","grobid_xml":"https://content.openalex.org/works/W4387963997.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4400798764","https://openalex.org/W2997402966","https://openalex.org/W2390629024","https://openalex.org/W1518169998","https://openalex.org/W7100316965","https://openalex.org/W2154847114","https://openalex.org/W7096013458","https://openalex.org/W3137865796","https://openalex.org/W2013578854","https://openalex.org/W2998267971"],"abstract_inverted_index":{"An":[0,108],"important":[1],"dimension":[2],"of":[3,17,24,39,101,124,160],"pointer":[4,18,40,75,163,209],"analysis":[5,19,76,164,210],"is":[6,28,85,202,248],"field-Sensitive,":[7],"which":[8,186],"has":[9,31,110],"been":[10,32],"proven":[11],"to":[12,34,62,92,191,215,229,237],"effectively":[13],"enhance":[14,36],"the":[15,37,118,122,135,151,166,175,230,238,241],"accuracy":[16],"results.":[20],"A":[21],"crucial":[22],"area":[23],"research":[25],"within":[26],"field-Sensitive":[27],"Structure-Sensitive.":[29],"Structure-Sensitive":[30],"shown":[33],"further":[35],"precision":[38],"analysis.":[41],"However,":[42],"existing":[43],"structure-sensitive":[44],"methods":[45],"cannot":[46],"handle":[47],"cases":[48],"where":[49],"an":[50,60,90,125,142,189],"object":[51,61,91,109,143,152,162,190],"possesses":[52,144],"multiple":[53,64,81,94],"structures,":[54],"even":[55],"though":[56],"it's":[57,87],"common":[58,88],"for":[59,78,89],"have":[63,192],"structures":[65,95],"throughout":[66,96,153],"its":[67,97,154],"lifecycle.":[68,98,155],"This":[69,138],"paper":[70],"introduces":[71,106],"MTO-SS,":[72],"a":[73,145,225],"flow-sensitive":[74,180,208],"method":[77,159,181,247],"objects":[79],"with":[80,178,224],"structures.":[82],"Our":[83,196],"observation":[84],"that":[86,140,200],"possess":[93],"The":[99],"novelty":[100],"MTO-SS":[102,105,129,201],"lies":[103],"in:":[104],"Structure-Flow-Sensitive.":[107],"different":[111,115],"structure":[112,127,148,194],"information":[113],"at":[114],"locations":[116],"in":[117,170],"program.":[119],"To":[120],"ensure":[121],"completeness":[123],"object's":[126,136],"information,":[128],"always":[130],"performs":[131],"weak":[132],"updates":[133],"on":[134,217],"type.":[137],"means":[139],"once":[141],"structure,":[146],"this":[147],"will":[149],"accompany":[150],"We":[156],"evaluated":[157],"our":[158,246],"multi-structured":[161],"using":[165],"12":[167],"largest":[168],"programs":[169],"GNU":[171],"Coreutils":[172],"and":[173,182,211,232],"compared":[174,228,236],"experimental":[176,197],"results":[177,198],"sparse":[179,207],"another":[183],"method,":[184],"TYPECLONE,":[185,212],"only":[187],"allows":[188],"one":[193],"information.":[195],"confirm":[199],"more":[203,221,235],"precise":[204],"than":[205],"both":[206],"being":[213],"able":[214],"answer,":[216],"average,":[218],"over":[219,233],"22\\%":[220],"alias":[222],"queries":[223],"no-alias":[226],"result":[227],"former,":[231],"3\\%":[234],"latter.":[239],"Additionally,":[240],"time":[242],"overhead":[243],"introduced":[244],"by":[245],"very":[249],"low.":[250]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2023-10-27T00:00:00"}