Statically detect double-lock & conflicting-lock bugs on MIR.
This work follows up the our elaborated Rust study in Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs in PLDI'20. I am honored to share the co-first author with Yilun Chen and be able to collaborate with far-sighted, knowledgeable and hardworking Prof Linhai Song and Yiying Zhang. I focus on Rust unsafe code and concurrency bugs in this paper. This project is my initial efforts to improve the concurrency safety in Rust ecosystem by statically detecting two common kinds of concurrency bugs: double lock and locks in conflicting order.
Currently supports rustc version: 1.45.0-nightly (bad3bf622 2020-05-09)
$ git clone https://github.com/BurtonQin/rust-lock-bug-detector.git
$ cd rust-lock-bug-detector
$ rustup component add rust-src
$ rustup component add rustc-dev
$ ./run.sh stubs/inter
How it works
In Rust, a lock operation returns a lockguard. The lock will be unlocked when the lockguard is dropped. So we can track the lifetime of lockguards to detect lock-related bugs. For each crate (the crate to be checked and its dependencies)
- Collect LockGuard info, including
- Where its lifetime begins and where it is dropped.
- Use an (immature) automata to track its src (where the lockguard is created) to check if two lockguards come from the same lock heuristically.
- Collect the caller-callee relationship to generate the callgraph.
- Apply a GenKill algorithm to detect the lock-related bugs.
- Currently only supports
- The automata to track lockguard src location is still immature and uses many heuristic assumptions.
- The callgraph is crate-specific (the callers and callees are in the same crate) and cannot track indirect call.
- In the GenKill algorithm, the current iteration times for one function is limited to 10000 and the call-chain depth is 4 for speed.
Found dozens of bugs in many repositories: openethereum, grin, winit, sonic, lighthouse, etc. Some of the repositories are dependencies of other large projects. I only find one FP is in crate
cc because the automata mistakenly assumes two unrelated lockguards are from the same src.