Computer Science & Maths
Life
#Clang
Cross-checking Semantic Correctness: The Case of Finding File System Bugs 阅读
主要思路是统计多个文件系统的实现，计算具体文件系统与多个文件系统总体之间的差异性（直方图/信息熵），从而窥探出其文件系统的具体实现在语义上的差异。
#Clang
#Linux
#File System
#Paper
#Symbolic Execution
#Staitc Analysis
#SOSP
#SOSP'15
1
2
海
内
存
知
己
天
涯
若
比
邻
朋友
诚
宇
申请友链
账号
github
联系
jtzhpf@126.com
访客
本站总访问量
次
|
本站访客数
人
ZPF.SITE
| 由
Hexo
及
致远
驱动
诚
