Deadlock Detection
5 projects
Showing 5 of 5 projects
panicparseGo
Parses and simplifies Go panic stack traces to help debug crashes and deadlocks in parallel applications.
#stack-trace#panic#goroutine
Stars3.7k
Forks103
Last commit1 year ago
Java Path Finder (JPF)Java
An extensible software model checking framework for Java bytecode programs to detect concurrency defects and runtime errors.
#runtime-verification#software-verification#concurrency-testing
Stars612
Forks406
Last commit
lockbudRust
A static analysis tool for Rust that detects concurrency bugs, memory bugs, and panic locations.
#research-tool#memory-safety#concurrency-bugs
Stars591
Forks39
Last commit14 days ago
ConcuerrorErlang
A stateless model checking tool for Erlang programs that systematically tests for concurrency errors.
#concurrent-erlang-programs#testing-tool#otp
Stars345
Forks43
Last commit11 days ago
SpiderPascal
A real-time profiler for Delphi applications providing detailed debugging, memory analysis, and performance monitoring.
#timeline-visualization#profiler#exception-analysis
Stars139
Forks52
Last commit2 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.