{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T17:04:56Z","timestamp":1770138296373,"version":"3.49.0"},"reference-count":61,"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.00085","type":"proceedings-article","created":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:42:41Z","timestamp":1770064961000},"page":"708-719","source":"Crossref","is-referenced-by-count":0,"title":["RuDyna: Towards A Dynamic Analysis Framework for Rust"],"prefix":"10.1109","author":[{"given":"Shanlin","family":"Deng","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","article-title":"The rust programming language-the rust programming language"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"ref3","article-title":"Redox-your next(gen) os-redox-your next(gen) os"},{"key":"ref4","article-title":"Rust for linux"},{"key":"ref5","article-title":"Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications"},{"key":"ref6","article-title":"Redox-os\/tfs","year":"2025","journal-title":"Redox OS"},{"key":"ref7","article-title":"High velocity kernel file systems with bento","author":"Miller"},{"key":"ref8","article-title":"Tikv\/tikv","year":"2025","journal-title":"TiKV Project"},{"key":"ref9","article-title":"Diem\/diem: Diem\u2019s mission is to build a trusted and innovative financial network that empowers people and businesses around the world"},{"key":"ref10","article-title":"Openethereum\/parity-ethereum: The fast, light, and robust client for ethereum-like networks"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3103006"},{"key":"ref12","article-title":"Fearless concurrency? understanding concurrent programming safety in real-world rust software","author":"Yu","year":"2019"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3466642"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3542948"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560552"},{"key":"ref17","article-title":"Rustsan: Retrofitting addresssanitizer for efficient sanitization of rust","author":"Cho"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678813"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680348"},{"key":"ref20","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":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484541"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483570"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3380393"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491447"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304068"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549126"},{"key":"ref28","article-title":"Xray instrumentation \u2014 llvm 21.0.0git documentation"},{"key":"ref29","article-title":"Instrumentation-based code coverage-the rustc book"},{"key":"ref30","article-title":"Tracing-rust"},{"key":"ref31","article-title":"What is ownership?-the rust programming language"},{"key":"ref32","article-title":"Generic types, traits, and lifetimes-the rust programming language"},{"key":"ref33","article-title":"The hir (high-level ir)-rust compiler development guide"},{"key":"ref34","article-title":"The mir (mid-level ir)-rust compiler development guide"},{"key":"ref35","article-title":"Non-lexical lifetimes (nll) fully stable | rust blog"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318944"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/504311.504295"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-006-0012-2"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SHPCC.1994.296728"},{"key":"ref40","first-page":"696","volume-title":"A Generic and Configurable Source-Code Instrumentation Component","year":"2009"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1383559.1383565"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2009.4796537"},{"key":"ref43","article-title":"Diota: Dynamic instrumentation, optimization and transformation of applications","author":"Maebe"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2024569.2024572"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2523649.2523675"},{"key":"ref46","article-title":"Unsafe rust-the rust programming language"},{"key":"ref47","article-title":"Address-sanitizer: A fast address sanity checker","author":"Serebryany"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178260"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2743019"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3038912.3052674"},{"key":"ref53","article-title":"X-force: Force-executing binary programs for security applications","author":"Peng"},{"key":"ref54","article-title":"Auto merge of #117372-amanieu:stdarch_update, r=mark-simulacrum \u00b7 rust-lang\/rust@ea37e80"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/872726.806987"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3447671"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162077"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806674"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"}],"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\/11354691.pdf?arnumber=11354691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T05:55:40Z","timestamp":1770098140000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11354691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":61,"URL":"https:\/\/doi.org\/10.1109\/trustcom66490.2025.00085","relation":{},"subject":[],"published":{"date-parts":[[2025,11,14]]}}}