taint analysis

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
Read More