https://github.com/BurtonQin/lockbud

Statically detect Rust deadlocks bugs
https://github.com/BurtonQin/lockbud

bug-detection deadlock-detection mir rust static-analyzer

Last synced: 3 months ago
JSON representation

Statically detect Rust deadlocks bugs

• Host: GitHub
• URL: https://github.com/BurtonQin/lockbud
• Owner: BurtonQin
• Created: 2020-06-04T03:26:58.000Z (about 4 years ago)
• Default Branch: all
• Last Pushed: 2023-10-20T15:16:46.000Z (8 months ago)
• Last Synced: 2024-01-23T11:06:02.618Z (5 months ago)
• Topics: bug-detection, deadlock-detection, mir, rust, static-analyzer
• Language: Rust
• Homepage:
• Size: 461 KB
• Stars: 337
• Watchers: 9
• Forks: 17
• Open Issues: 6
• Metadata Files:
  • Readme: README.md

Lists

• static-analysis - lockbud
• awesome-rust-formalized-reasoning - lockbud - study.pdf) - statically detect deadlocks bugs for Rust. (Projects / Verification)
• awesome-stars - BurtonQin/lockbud
• awesome-stars - BurtonQin/lockbud - Statically detect Rust deadlocks bugs (Rust)
• awesome-stars - BurtonQin/lockbud - `★358` Statically detect Rust deadlocks bugs (Rust)
• awesome-stars - BurtonQin/lockbud - Statically detect Rust deadlocks bugs (Rust)
• my-awesome - BurtonQin/lockbud - detection,deadlock-detection,mir,rust,static-analyzer pushed_at:2023-10 star:0.4k fork:0.0k Statically detect Rust deadlocks bugs (Rust)

README

        
# TSE Code and Data Release

## Code

Code contains Double-Lock, Conflicting-Lock-Order, Atomicity-Violation, Use-After-Free, Invalid-Free Detectors

and Panic Location Detector.

## Data

Data contains BugStudy.xlsx, which records all the study results,

and BugReport.xlsx, which records all the experimental results,