Image de couverture de livre

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cui, Mohan, Xu, Hui, Tian, Hongliang, Zhou, Yangfan
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
par: Cui, Mohan, et autres
Publié: (2024)

LeakGuard: Detecting Memory Leaks Accurately and Scalably
par: Liang, Hongliang, et autres
Publié: (2025)

LAMeD: LLM-generated Annotations for Memory Leak Detection
par: Shemetova, Ekaterina, et autres
Publié: (2025)

Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents
par: Xiang, Jiahong, et autres
Publié: (2026)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
par: P, Akilesh, et autres
Publié: (2026)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
par: Huang, Huihui, et autres
Publié: (2026)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
par: Bedell, Sarah, et autres
Publié: (2026)

TECS/Rust: Memory-safe Component Framework for Embedded Systems
par: Yoshimura, Nao, et autres
Publié: (2025)

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
par: Androutsopoulos, Georgios, et autres
Publié: (2025)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
par: Abdelrazek, Zeyad, et autres
Publié: (2026)

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
par: Luo, Yu, et autres
Publié: (2025)

How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
par: Zhang, Yuxia, et autres
Publié: (2024)

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
par: Murali, Aniruddhan, et autres
Publié: (2024)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
par: McCormack, Ian, et autres
Publié: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
par: Rao, Zihao, et autres
Publié: (2024)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
par: Nitin, Vikram, et autres
Publié: (2023)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
par: Yan, Yanyan, et autres
Publié: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
par: Ou, Guangsheng, et autres
Publié: (2024)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
par: Gao, Hongyan, et autres
Publié: (2026)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
par: Cai, Xuemeng, et autres
Publié: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
par: Nitin, Vikram, et autres
Publié: (2025)

Secret Leak Detection in Software Issue Reports using LLMs: A Comprehensive Evaluation
par: Ahmed, Sadif, et autres
Publié: (2024)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
par: Jiang, Renshuang, et autres
Publié: (2026)

Can User Feedback Help Issue Detection? An Empirical Study on a One-billion-user Online Service System
par: Jiang, Shuyao, et autres
Publié: (2025)

Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference
par: Wang, Chong, et autres
Publié: (2023)

Automated Repair of Resource Leaks in Android Applications
par: Bhatt, Bhargav Nagaraja, et autres
Publié: (2020)

Towards Modified Condition/Decision Coverage of Rust
par: Zaeske, Wanja, et autres
Publié: (2024)

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
par: Ni, Yunbo, et autres
Publié: (2024)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
par: Shiraishi, Momoko, et autres
Publié: (2024)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
par: Chu, Bei, et autres
Publié: (2025)

Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
par: Zeng, Ruiying, et autres
Publié: (2026)

Guided Debugging of Auto-Translated Code Using Differential Testing
par: Wu, Shengnan, et autres
Publié: (2025)

Code Quality Analysis of Translations from C to Rust
par: Tadesse, Biruk, et autres
Publié: (2026)

Host-Based Allocators for Device Memory
par: Bell, Oren, et autres
Publié: (2024)

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
par: Xiang, Jiahong, et autres
Publié: (2026)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
par: Zhou, Zixu
Publié: (2025)

Towards Precise Detection of Personal Information Leaks in Mobile Health Apps
par: Ardalani, Alireza, et autres
Publié: (2024)

Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
par: Jiang, Shuyao, et autres
Publié: (2024)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
par: Farrukh, Muhammad, et autres
Publié: (2026)