{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T17:29:31Z","timestamp":1770139771170,"version":"3.49.0"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,14]]},"DOI":"10.1109\/trustcom66490.2025.00091","type":"proceedings-article","created":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:42:41Z","timestamp":1770064961000},"page":"769-780","source":"Crossref","is-referenced-by-count":0,"title":["Rusty: Effectively Detecting Multilingual Rust Memory Bugs with Interprocedural Static Analysis"],"prefix":"10.1109","author":[{"given":"Mingliang","family":"Liu","sequence":"first","affiliation":[{"name":"University of Science and Technology of China,School of Software Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baojian","family":"Hua","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,School of Software Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3466642"},{"key":"ref2","article-title":"Memory safe languages in android 13","author":"Stoep","year":"2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3136988"},{"key":"ref4","article-title":"Rust for linux"},{"key":"ref5","first-page":"1","article-title":"Theseus: An experiment in operating system structure and state management","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Boos"},{"key":"ref6","first-page":"21","article-title":"{RedLeaf}: Isolation and communication in a safe operating system","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Narayanan"},{"key":"ref7","article-title":"Tikv\/tikv: Distributed transactional key-value database, originally created to complement tidb"},{"key":"ref8","first-page":"81","article-title":"Engineering the servo web browser engine using rust","volume-title":"Proceedings of the 38th International Conference on Software Engineering Companion, ser. ICSE \u201916","author":"Anderson"},{"key":"ref9","article-title":"Wasmtime","year":"2025"},{"key":"ref10","first-page":"425","article-title":"An empirical study of {Rust-for-Linux}: The success, dissatisfaction, and compromise","volume-title":"2024 USENIX Annual Technical Conference (USENIX ATC 24)","author":"Li"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00167"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639136"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3623503.3623534"},{"key":"ref15","first-page":"246","article-title":"Is rust used safely by software developers?","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, ser. ICSE \u201920","author":"Evans"},{"key":"ref16","article-title":"Fearless concurrency? understanding concurrent programming safety in real-world rust software","author":"Yu","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/QRS57517.2022.00101"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17143-7_33"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_4"},{"key":"ref20","first-page":"2513","article-title":"{PolyCruise}: A {Cross-Language} dynamic information flow analysis","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Li"},{"key":"ref21","first-page":"127","article-title":"Broadening horizons of multilingual static analysis: Semantic summary extraction from c code for jni program analysis","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ser. ASE \u201920","author":"Lee"},{"key":"ref22","first-page":"6947","article-title":"Trust: A compilation framework for in-process isolation to protect safe rust against untrusted code","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Bang"},{"key":"ref23","article-title":"Rustsan: Retrofitting addresssanitizer for efficient sanitization of rust","author":"Cho"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/390019.808314"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2869336"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1201\/9781420040579.ch1"},{"key":"ref30","article-title":"Cwe - cwe-658: Weaknesses in software written in c (4.17)"},{"key":"ref31","article-title":"Cwe - cwe-659: Weaknesses in software written in c++ (4.17)"},{"key":"ref32","article-title":"Ffi - the rustonomicon"},{"key":"ref33","article-title":"Cve-2018-20997"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev61143.2024.00012"},{"key":"ref35","first-page":"597","article-title":"Benefits and drawbacks of adopting a secure programming language: Rust as a case study","volume-title":"Proceedings of the Seventeenth USENIX Conference on Usable Privacy and Security, ser. SOUPS\u201921","author":"Fulton"},{"key":"ref36","first-page":"2509","article-title":"{\u201dI} wouldn\u2019t want my unsafe code to run my {pacemaker\"}: An interview study on the use, comprehension, and perceived risks of unsafe rust","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"H\u00f6ltervennhoff"},{"key":"ref37","article-title":"A mixed-methods study on the implications of unsafe rust for interoperation, encapsulation, and tooling","author":"McCormack","year":"2024"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3428204"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3656422"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3674640"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484541"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483570"},{"key":"ref43","article-title":"Llvm\u2019s analysis and transform passes \u2014 llvm 20.1.0 documentation"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52592-0_76"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268966"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/bf00290339"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71522-9_300950"},{"key":"ref50","article-title":"Advisories > rustsec advisory database"},{"key":"ref51","article-title":"The llvm compiler infrastructure project"},{"key":"ref52","first-page":"309","article-title":"{AddressSanitizer}: A fast address sanity checker","volume-title":"2012 USENIX Annual Technical Conference (USENIX ATC 12)","author":"Serebryany"},{"key":"ref53","first-page":"595","article-title":"Building bridges: Safe interactions with foreign languages through omniglot","volume-title":"19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25)","author":"Schuermann"},{"key":"ref54","first-page":"234","article-title":"Securing unsafe rust programs with xrust","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","author":"Liu"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3542948"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3485841"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3380393"}],"event":{"name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","location":"Guiyang, China","start":{"date-parts":[[2025,11,14]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11354467\/11354567\/11354753.pdf?arnumber=11354753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T05:55:49Z","timestamp":1770098149000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11354753\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/trustcom66490.2025.00091","relation":{},"subject":[],"published":{"date-parts":[[2025,11,14]]}}}