6 results found Sort:

BurtonQin
lockbud BurtonQin
25
431
bsd-3-clause
9
Statically detect memory, concurrency bugs and possible panic locations for Rust.
mir rust bug-detection static-analyzer deadlock-detection
Created 2020-06-04
122 commits to all branch, last one 17 days ago
nickng
dingo-hunter nickng
28
315
apache-2.0
17
Static analyser for finding Deadlocks in Go
golang research concurrency static-analysis deadlock-detection
Created 2015-08-29
188 commits to master branch, last one about a year ago
jnidzwetzki
pg-lock-tracer jnidzwetzki
14
133
apache-2.0
7
A eBPF based lock tracer for the PostgreSQL database
bpf dbms locking tracing postgres postgresql deadlock-detection
Created 2022-12-28
316 commits to main branch, last one 4 months ago
JochenBaier
BugInsight JochenBaier
2
56
gpl-3.0
3
A memory leak and deadlock finder for C, C++
bug leak leaks memory deadlock memory-leak deadlock-free leak-detection developer-tools deadlock-avoidance deadlock-detection memory-leak-detection
Created 2024-05-05
7 commits to main branch, last one 4 months ago
dibyendumajumdar
simpledbm dibyendumajumdar
12
55
unknown
8
SimpleDBM is an Open Source Multi-Threaded Embeddable Transactional Database Engine in Java.
java btree nosql concurrency transaction nosql-database database-engine deadlock-detection
Created 2015-03-13
1,229 commits to master branch, last one about a year ago
JochenBaier
cppguard JochenBaier
2
44
apache-2.0
1
C++ developer tool for detecting deadlocks
bug cpp fix test thread threads deadlock debugging clean-code deadlock-free developer-tools deadlock-avoidance deadlock-detection
Created 2023-12-12
8 commits to main branch, last one 4 months ago