01Automated deadlock potential identification and scoring
02Analysis of missing async/await patterns and callback hell
03Resource contention checks for file handles and database pools
0438 GitHub stars
05Language-specific thread safety audits for Go, Rust, and Java
06Detection of race conditions and unsynchronized shared state