MirChecker: Detecting Bugs in Rust Programs via Static Analysis 阅读
#Paper#Symbolic Execution#Staitc Analysis#CCS#CCS'21 2024-03-11

本文主要从以下2点来进行错误的检测：

  • 利用 Rust 编译器在编译时为无法检查的安全条件自动生成的断言，以其为验证条件，检查例如越界访问和整数溢出等问题。
  • Unsafe code 破坏所有权系统，导致悬空指针、共享可变别名等问题。