{"id":"https://openalex.org/W4411523107","doi":"https://doi.org/10.1145/3728890","title":"Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs","display_name":"Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411523107","doi":"https://doi.org/10.1145/3728890"},"language":"en","primary_location":{"id":"doi:10.1145/3728890","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728890","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3728890","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Huan Li","orcid":"https://orcid.org/0009-0001-7191-0998"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huan Li","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0001-7191-0998","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018588198","display_name":"Bei Wang","orcid":"https://orcid.org/0009-0001-8465-8189"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bei Wang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0001-8465-8189","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047688641","display_name":"Xing Hu","orcid":"https://orcid.org/0000-0003-0093-3292"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xing Hu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-0093-3292","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006669765","display_name":"Xin Xia","orcid":"https://orcid.org/0000-0002-6302-3256"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Xia","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-6302-3256","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":2.0267,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87420489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2","issue":"ISSTA","first_page":"457","last_page":"480"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9944999814033508,"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.9671000242233276,"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/computer-science","display_name":"Computer science","score":0.7545264363288879},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5584090352058411},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.4786180853843689},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4655251204967499},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4498983919620514},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.43254250288009644},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.42152509093284607},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3693797290325165},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2876570224761963},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.1406877338886261},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10715344548225403}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7545264363288879},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5584090352058411},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4786180853843689},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4655251204967499},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4498983919620514},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.43254250288009644},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.42152509093284607},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3693797290325165},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2876570224761963},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.1406877338886261},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10715344548225403},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3728890","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728890","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3728890","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728890","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W2779850521","https://openalex.org/W2793146918","https://openalex.org/W2965861627","https://openalex.org/W3034030180","https://openalex.org/W3039784053","https://openalex.org/W3089734599","https://openalex.org/W3099830904","https://openalex.org/W3109383821","https://openalex.org/W3151648723","https://openalex.org/W3166095789","https://openalex.org/W3202751128","https://openalex.org/W3206881395","https://openalex.org/W3209913027","https://openalex.org/W3212191335","https://openalex.org/W4200421685","https://openalex.org/W4281773296","https://openalex.org/W4285394558","https://openalex.org/W4288269198","https://openalex.org/W4312091902","https://openalex.org/W4319163914","https://openalex.org/W4362661194","https://openalex.org/W4380763529","https://openalex.org/W4384345698","https://openalex.org/W4385291106","https://openalex.org/W4386802779","https://openalex.org/W4387596421","https://openalex.org/W4388483492","https://openalex.org/W4389157293","https://openalex.org/W4389162117","https://openalex.org/W4389519153","https://openalex.org/W4390602555","https://openalex.org/W4391376895","https://openalex.org/W4391800042","https://openalex.org/W4392822190","https://openalex.org/W4393170538","https://openalex.org/W4393213306","https://openalex.org/W4393300436","https://openalex.org/W4394744163","https://openalex.org/W4394769323","https://openalex.org/W4394769342","https://openalex.org/W4396242417","https://openalex.org/W4399448014","https://openalex.org/W4400023054","https://openalex.org/W4400582623","https://openalex.org/W4400583006","https://openalex.org/W4400713679","https://openalex.org/W4402264467","https://openalex.org/W4402409840","https://openalex.org/W4402457356","https://openalex.org/W4402671875"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W4232954277","https://openalex.org/W2020341030","https://openalex.org/W2749133591","https://openalex.org/W2367473450","https://openalex.org/W23346600","https://openalex.org/W2460280200"],"abstract_inverted_index":{"Rust":[0,14],"is":[1,76,81,99,131],"an":[2,74],"emerging":[3],"programming":[4],"language":[5,121],"that":[6,210],"ensures":[7],"safety":[8,23,96],"through":[9],"strict":[10],"compile-time":[11],"checks.":[12],"A":[13],"function":[15],"marked":[16],"as":[17,30],"unsafe":[18,36,44,59,68],"indicates":[19],"it":[20,178],"has":[21],"additional":[22],"requirements":[24],"(e.g.,":[25],"initialized,":[26],"not":[27,82],"null),":[28],"known":[29],"contracts":[31,48,138],"in":[32,71,90,112,249],"the":[33,47,53,61,110,135,140,180,196,218,250],"community.":[34],"These":[35],"functions":[37],"can":[38,232],"only":[39],"be":[40,50],"called":[41],"within":[42],"explicit":[43],"blocks":[45],"and":[46,57,84,117,139,160,194,217],"must":[49],"guaranteed":[51,83],"by":[52],"caller.":[54],"To":[55,145],"reuse":[56],"reduce":[58],"code,":[60],"community":[62],"recommends":[63],"using":[64],"safe":[65,91],"encapsulation":[66],"of":[67,115,137,142,199,236,255],"calls":[69],"(EUC)":[70],"practice.":[72],"However,":[73],"EUC":[75],"unsound":[77,103,165,226,238,247],"if":[78],"any":[79],"contract":[80,182],"could":[85],"lead":[86],"to":[87,101,109,134,163,173,201],"undefined":[88],"behaviors":[89],"Rust,":[92],"thus":[93],"breaking":[94],"Rust's":[95],"promise.":[97],"It":[98],"challenging":[100],"identify":[102,164,233],"EUCs":[104,239,248],"with":[105],"conventional":[106],"techniques":[107],"due":[108],"limitation":[111],"cross-lingual":[113],"comprehension":[114],"code":[116],"natural":[118],"language.":[119],"Large":[120],"models":[122],"(LLMs)":[123],"have":[124,257],"demonstrated":[125],"impressive":[126],"capabilities,":[127],"but":[128],"their":[129],"performance":[130,215],"unsatisfactory":[132],"owing":[133],"complexity":[136],"lack":[141],"domain":[143,161,192],"knowledge.":[144],"this":[146],"end,":[147],"we":[148],"propose":[149],"a":[150,213],"novel":[151],"framework,":[152],"Safe4U,":[153],"which":[154,256],"incorporates":[155],"LLMs,":[156],"static":[157,170],"analysis":[158,171],"tools,":[159],"knowledge":[162,193],"EUCs.":[166],"Safe4U":[167,190,211,231,243],"first":[168],"utilizes":[169],"tools":[172],"retrieve":[174],"relevant":[175],"context.":[176],"Then,":[177],"decomposes":[179],"primitive":[181],"description":[183],"into":[184],"several":[185],"fine-grained":[186,204,219],"classified":[187],"contracts.":[188],"Ultimately,":[189],"introduces":[191],"invokes":[195],"reasoning":[197],"capability":[198],"LLMs":[200],"verify":[202],"every":[203],"contract.":[205],"The":[206],"evaluation":[207],"results":[208,220],"show":[209],"brings":[212],"general":[214],"improvement":[216],"are":[221],"constructive":[222],"for":[223],"locating":[224],"specific":[225],"sources.":[227],"In":[228],"real-world":[229],"scenarios,":[230],"9":[234],"out":[235],"11":[237],"from":[240],"CVE.":[241],"Furthermore,":[242],"detected":[244],"22":[245],"new":[246],"most":[251],"downloaded":[252],"crates,":[253],"16":[254],"been":[258],"confirmed.":[259]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}