Rust污点分析调研

mi1itray.axe published on
1 min, 76 words

Categories: Paper Reverse

Tags: obfuscation obfuscation taint analysis

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

https://e80jag6pyd.feishu.cn/docx/EydXdKtpQoELtdxwA9ycLLDHnOe?from=from_copylink