rust-lock-bug-detector:静态检测MIR上的双锁和冲突锁错误
需积分: 9 134 浏览量
2021-04-09
10:00:43
上传
评论
收藏 57KB ZIP 举报
rust-lock-bug-detector-master.zip （51个子文件） 
rust-lock-bug-detector-master 
.gitignore 358B src bin cargo-lock-bug-detect.rs 3KB double_lock_checker collector.rs 7KB checker.rs 11KB dataflow.rs 6KB callgraph.rs 16KB lock.rs 7KB mod.rs 179B tracker.rs 8KB report.rs 2KB genkill.rs 6KB def_use.rs 4KB main.rs 5KB conflict_lock_checker collector.rs 7KB checker.rs 9KB dataflow.rs 6KB callgraph.rs 2KB lock.rs 5KB mod.rs 169B tracker.rs 8KB genkill.rs 6KB def_use.rs 4KB config.rs 3KB Cargo.lock 15KB LICENSE 11KB Cargo.toml 739B examples trait-call src main.rs 1KB Cargo.lock 141B Cargo.toml 224B conflict-intra src main.rs 343B Cargo.lock 146B Cargo.toml 228B tikv-wrapper src main.rs 472B util.rs 384B Cargo.lock 143B Cargo.toml 226B static-ref src main.rs 300B Cargo.lock 371B Cargo.toml 246B conflict-inter src main.rs 715B Cargo.lock 145B Cargo.toml 228B intra src main.rs 849B Cargo.lock 3KB Cargo.toml 241B inter src main.rs 3KB Cargo.lock 3KB Cargo.toml 257B README.md 3KB run.sh 1KB rust-toolchain 19B资源评论
