Skip to content

Statically detect Rust deadlocks bugs

Notifications You must be signed in to change notification settings

mokhaled2992/lockbud

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

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,

About

Statically detect Rust deadlocks bugs

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 98.8%
  • Shell 1.2%