Computer Science & Maths
Life
#CCS'21
MirChecker: Detecting Bugs in Rust Programs via Static Analysis 阅读
本文主要从以下2点来进行错误的检测：
利用 Rust 编译器在编译时为无法检查的安全条件自动生成的断言，以其为验证条件，检查例如越界访问和整数溢出等问题。
Unsafe code 破坏所有权系统，导致悬空指针、共享可变别名等问题。
#Paper
#Symbolic Execution
#Staitc Analysis
#CCS
#CCS'21
海
内
存
知
己
天
涯
若
比
邻
朋友
诚
宇
申请友链
账号
github
联系
jtzhpf@126.com
访客
本站总访问量
次
|
本站访客数
人
ZPF.SITE
| 由
Hexo
及
致远
驱动
诚
