BurtonQin / lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.

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,