On the public citation graph
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis
0 signed · 88 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1109/ase.2015.65openalex-snapshot
Fuzzing the Rust Typechecker Using CLP (T)
inferredcites →https://doi.org/10.1109/ase.2015.77openalex-snapshot
Crust: A Bounded Verifier for Rust (N)
inferredcites →https://doi.org/10.1109/tdsc.2018.2866469openalex-snapshot
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
inferredcites →https://doi.org/10.1109/tse.2014.2302311openalex-snapshot
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis
inferredcites →https://doi.org/10.1145/1250734.1250789openalex-snapshot
Practical memory leak detection using guarded value-flow analysis
inferredcites →https://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
inferredcites →https://doi.org/10.1145/2103621.2103718openalex-snapshot
A mechanized semantics for C++ object construction and destruction, with applications to resource management
inferredcites →https://doi.org/10.1145/2338965.2336769openalex-snapshot
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
inferredcites →https://doi.org/10.1145/2338965.2336784openalex-snapshot
Static memory leak detection using full-sparse value-flow analysis
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/2737924.2737966openalex-snapshot
Static detection of asymptotic performance bugs in collection traversals
inferredcites →https://doi.org/10.1145/277650.277665openalex-snapshot
Improving data-flow analysis with path profiles
inferredcites →https://doi.org/10.1145/2889160.2889229openalex-snapshot
Engineering the servo web browser engine using Rust
inferredcites →https://doi.org/10.1145/3131672.3136988openalex-snapshot
The Tock Embedded Operating System
inferredcites →https://doi.org/10.1145/3158154openalex-snapshot
RustBelt: securing the foundations of the Rust programming language
inferredcites →https://doi.org/10.1145/3180155.3180178openalex-snapshot
Spatio-temporal context reduction
inferredcites →https://doi.org/10.1145/3314221.3314609openalex-snapshot
Model checking for weakly consistent libraries
inferredcites →https://doi.org/10.1145/3360573openalex-snapshot
Leveraging rust types for modular specification and verification
inferredcites →https://doi.org/10.1145/3371109openalex-snapshot
Stacked borrows: an aliasing model for Rust
inferredcites →https://doi.org/10.1145/3377811.3380325openalex-snapshot
Securing unsafe rust programs with XRust
inferredcites →https://doi.org/10.1145/3377811.3380413openalex-snapshot
Is rust used safely by software developers?
inferredcites →https://doi.org/10.1145/3385412.3386036openalex-snapshot
Understanding memory and thread safety practices and issues in real-world Rust programs
inferredcites →https://doi.org/10.1145/3460120.3484541openalex-snapshot
MirChecker: Detecting Bugs in Rust Programs via Static Analysis
inferredcites →https://doi.org/10.1145/3466642openalex-snapshot
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs
inferredcites →https://doi.org/10.1145/781131.781150openalex-snapshot
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
inferredcites →https://doi.org/10.1145/800061.808753openalex-snapshot
A linear-time algorithm for a special case of disjoint set union
inferredcites →https://doi.org/10.14722/ndss.2015.23238openalex-snapshot
Preventing Use-after-free with Dangling Pointers Nullification
inferredcites →https://doi.org/10.2307/1969708openalex-snapshot
The Upper Semi-Lattice of Degrees of Recursive Unsolvability
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1875openalex-snapshot
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach
inferred← citeshttps://doi.org/10.1007/978-3-031-17143-7_33openalex-snapshot
Detecting Cross-language Memory Management Issues in Rust
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_19openalex-snapshot
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-10444-1_11openalex-snapshot
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code
inferred← citeshttps://doi.org/10.1007/978-981-92-0202-7_14openalex-snapshot
A Study on Cross-Language Static Defect Analysis with Fine-Tuned Large Language Models
inferred← citeshttps://doi.org/10.1007/978-981-95-3537-8_21openalex-snapshot
RustGuard: Detecting Rust Data Leak Issues with Context-Sensitive Static Taint Analysis
inferred← citeshttps://doi.org/10.1007/s10515-026-00614-zopenalex-snapshot
Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs
inferred← citeshttps://doi.org/10.1016/j.hcc.2025.100377openalex-snapshot
Enhancing concurrency bug detection in Rust programs through LLVM IR based graph visualization
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00138openalex-snapshot
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs
inferred← citeshttps://doi.org/10.1109/compsac69091.2026.00098openalex-snapshot
LLM-Based Data Generation and Augmentation for Rust Vulnerability Detection
inferred← citeshttps://doi.org/10.1109/dac63849.2025.11133064openalex-snapshot
Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
inferred← citeshttps://doi.org/10.1109/dsn69566.2026.00068openalex-snapshot
Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00167openalex-snapshot
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
inferred← citeshttps://doi.org/10.1109/issre62328.2024.00061openalex-snapshot
Understanding Atomics and Memory Ordering Issues in Real-World Rust Software
inferred← citeshttps://doi.org/10.1109/issrew53611.2021.00090openalex-snapshot
RusBox: Towards Efficient and Adaptive Sandboxing for Rust
inferred← citeshttps://doi.org/10.1109/prdc55274.2022.00015openalex-snapshot
Safe Rust Code Recommendation Based on Siamese Graph Neural Network
inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00102openalex-snapshot
Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00101openalex-snapshot
CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00102openalex-snapshot
Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00057openalex-snapshot
RUSPATCH: Towards Timely and Effectively Patching Rust Applications
inferred← citeshttps://doi.org/10.1109/qrs62785.2024.00035openalex-snapshot
Beyond Memory Safety: an Empirical Study on Bugs and Fixes of Rust Programs
inferred← citeshttps://doi.org/10.1109/secdev61143.2024.00012openalex-snapshot
Understanding the Challenges in Detecting Vulnerabilities of Rust Applications
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00258openalex-snapshot
ERASan: Efficient Rust Address Sanitizer
inferred← citeshttps://doi.org/10.1109/tdsc.2023.3238547openalex-snapshot
Pervasive Micro Information Flow Tracking
inferred← citeshttps://doi.org/10.1109/trustcom66490.2025.00085openalex-snapshot
RuDyna: Towards A Dynamic Analysis Framework for Rust
inferred← citeshttps://doi.org/10.1109/trustcom66490.2025.00091openalex-snapshot
Rusty: Effectively Detecting Multilingual Rust Memory Bugs with Interprocedural Static Analysis
inferred← citeshttps://doi.org/10.1109/tse.2024.3380393openalex-snapshot
Understanding and Detecting Real-World Safety Issues in Rust
inferred← citeshttps://doi.org/10.1109/tse.2024.3443624openalex-snapshot
rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust
inferred← citeshttps://doi.org/10.1109/tse.2024.3447671openalex-snapshot
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
inferred← citeshttps://doi.org/10.1145/3460120.3484541openalex-snapshot
MirChecker: Detecting Bugs in Rust Programs via Static Analysis
inferred← citeshttps://doi.org/10.1145/3466642openalex-snapshot
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs
inferred← citeshttps://doi.org/10.1145/3597503.3639136openalex-snapshot
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming
inferred← citeshttps://doi.org/10.1145/3640537.3641574openalex-snapshot
A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction
inferred← citeshttps://doi.org/10.1145/3656406openalex-snapshot
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
inferred← citeshttps://doi.org/10.1145/3658644.3690275openalex-snapshot
Rust for Embedded Systems: Current State and Open Problems
inferred← citeshttps://doi.org/10.1145/3664646.3664777openalex-snapshot
Effectiveness of ChatGPT for Static Analysis: How Far Are We?
inferred← citeshttps://doi.org/10.1145/3691620.3695373openalex-snapshot
Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems
inferred← citeshttps://doi.org/10.1145/3696443.3708921openalex-snapshot
Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3719027.3765142openalex-snapshot
Don't Panic! Finding Bugs Hidden Behind Rust Runtime Safety Checks
inferred← citeshttps://doi.org/10.1145/3722041.3723102openalex-snapshot
rustc++: Facilitating Advanced Analysis of Rust Code
inferred← citeshttps://doi.org/10.1145/3728890openalex-snapshot
Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs
inferred← citeshttps://doi.org/10.1145/3744916.3764571openalex-snapshot
Rusted Types: Static Detection of Rust Type Confusion Bugs
inferred← citeshttps://doi.org/10.1145/3744916.3773122openalex-snapshot
HarnessLLM: Rust Verification Harness Generation with Large Language Models
inferred← citeshttps://doi.org/10.1145/3773991openalex-snapshot
PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
inferred← citeshttps://doi.org/10.1145/3798266openalex-snapshot
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
inferred← citeshttps://doi.org/10.1145/3808158openalex-snapshot
From Suspicious Signals to Crashes: Guiding Bug-Driven GUI Testing via Code-Inspired Tracing
inferred← citeshttps://doi.org/10.1145/3832783.3837450openalex-snapshot
VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries
inferred← citeshttps://doi.org/10.1145/3832783.3837481openalex-snapshot
SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning
inferred← citeshttps://doi.org/10.15760/rust-edu.2022.1openalex-snapshot
Proceedings of the Rust-Edu Workshop
inferred← citeshttps://doi.org/10.18293/seke2023-122openalex-snapshot
Detect Stack Overflow Bugs in Rust via Improved Fuzzing Technique
inferred← citeshttps://doi.org/10.3390/app132312738openalex-snapshot
Thetis: A Booster for Building Safer Systems Using the Rust Programming Language
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.