Rust污点分析调研
mi1itray.axe published on
1 min,
76 words
Rust语言污点分析相关的几篇内容
- SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
- Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems.
- Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem
- Detecting Cross-language Memory Management Issues in Rust
- MirChecker: Detecting Bugs in Rust Programs via Static Analysis
- Static Deadlock Detection for Rust Programs