Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / BurtonQin / lockbud

Statically detect Rust deadlocks bugs

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/BurtonQin%2Flockbud

Stars: 346
Forks: 20
Open Issues: 7

License: None
Language: Rust
Repo Size: 461 KB
Dependencies: 150

Created: about 4 years ago
Updated: about 1 month ago
Last pushed: 8 months ago
Last synced: about 1 month ago

Topics: bug-detection, deadlock-detection, mir, rust, static-analyzer

Files

Readme

Dependencies

Code/toys/wait-lock-no-deadlock/Cargo.toml cargo

Code/Cargo.toml cargo

Code/toys/atomic-violation/Cargo.toml cargo

Code/toys/call-no-deadlock/Cargo.toml cargo

Code/toys/condvar-closure/Cargo.toml cargo

Code/toys/condvar-struct/Cargo.toml cargo

Code/toys/conflict/Cargo.toml cargo

Code/toys/conflict-inter/Cargo.toml cargo

Code/toys/inter/Cargo.toml cargo

Code/toys/intra/Cargo.toml cargo

Code/toys/invalid-free/Cargo.toml cargo

Code/toys/lock-closure/Cargo.toml cargo

Code/toys/panic/Cargo.toml cargo

Code/toys/recursive-no-deadlock/Cargo.toml cargo

Code/toys/static-ref/Cargo.toml cargo

Code/toys/tikv-wrapper/Cargo.toml cargo

Code/toys/use-after-free/Cargo.toml cargo

Code/toys/static-ref/Cargo.lock cargo

lazy_static 1.4.0

Code/toys/invalid-free/Cargo.lock cargo

Code/toys/atomic-violation/Cargo.lock cargo

cfg-if 1.0.0
getrandom 0.2.7
libc 0.2.132
ppv-lite86 0.2.16
rand 0.8.5
rand_chacha 0.3.1
rand_core 0.6.3
wasi 0.11.0+wasi-snapshot-preview1

Code/Cargo.lock cargo

aho-corasick 0.7.18
atty 0.2.14
autocfg 1.1.0
bitflags 1.3.2
byteorder 1.4.3
cargo-platform 0.1.2
cargo_metadata 0.12.3
cfg-if 1.0.0
clap 3.1.18
clap_lex 0.2.0
directories 3.0.2
dirs-sys 0.3.7
env_logger 0.8.4
fixedbitset 0.4.1
getrandom 0.2.6
hashbrown 0.11.2
hermit-abi 0.1.19
hex 0.4.3
humantime 2.1.0
indexmap 1.8.1
itoa 1.0.1
lazy_static 1.4.0
libc 0.2.125
log 0.4.17
memchr 2.5.0
once_cell 1.13.1
os_str_bytes 6.0.0
pest 2.1.3
petgraph 0.6.0
ppv-lite86 0.2.16
proc-macro2 1.0.38
quote 1.0.18
rand 0.8.5
rand_chacha 0.3.1
rand_core 0.6.3
redox_syscall 0.2.13
redox_users 0.4.3
regex 1.6.0
regex-syntax 0.6.27
rustc_version 0.3.3
ryu 1.0.9
semver 0.11.0
semver-parser 0.10.2
serde 1.0.137
serde_derive 1.0.137
serde_json 1.0.81
shell-escape 0.1.5
shellwords 1.1.0
smallvec 1.8.0
strsim 0.10.0
syn 1.0.93
termcolor 1.1.3
textwrap 0.15.0
thiserror 1.0.31
thiserror-impl 1.0.31
ucd-trie 0.1.3
unicode-xid 0.2.3
wasi 0.10.2+wasi-snapshot-preview1
winapi 0.3.9
winapi-i686-pc-windows-gnu 0.4.0
winapi-util 0.1.5
winapi-x86_64-pc-windows-gnu 0.4.0

Code/toys/call-no-deadlock/Cargo.lock cargo

Code/toys/lock-closure/Cargo.lock cargo

Code/toys/condvar-closure/Cargo.lock cargo

autocfg 1.1.0
bitflags 1.3.2
cfg-if 1.0.0
libc 0.2.127
lock_api 0.4.7
parking_lot 0.12.1
parking_lot_core 0.9.3
redox_syscall 0.2.16
scopeguard 1.1.0
smallvec 1.9.0
windows-sys 0.36.1
windows_aarch64_msvc 0.36.1
windows_i686_gnu 0.36.1
windows_i686_msvc 0.36.1
windows_x86_64_gnu 0.36.1
windows_x86_64_msvc 0.36.1

Code/toys/tikv-wrapper/Cargo.lock cargo

Code/toys/condvar-struct/Cargo.lock cargo

autocfg 1.1.0
bitflags 1.3.2
cfg-if 1.0.0
libc 0.2.131
lock_api 0.4.7
parking_lot 0.12.1
parking_lot_core 0.9.3
redox_syscall 0.2.16
scopeguard 1.1.0
smallvec 1.9.0
windows-sys 0.36.1
windows_aarch64_msvc 0.36.1
windows_i686_gnu 0.36.1
windows_i686_msvc 0.36.1
windows_x86_64_gnu 0.36.1
windows_x86_64_msvc 0.36.1

Code/toys/panic/Cargo.lock cargo

Code/toys/conflict/Cargo.lock cargo

Code/toys/wait-lock-no-deadlock/Cargo.lock cargo

Code/toys/conflict-inter/Cargo.lock cargo

Code/toys/recursive-no-deadlock/Cargo.lock cargo

autocfg 1.1.0
bitflags 1.3.2
cfg-if 1.0.0
libc 0.2.134
lock_api 0.4.9
parking_lot 0.12.1
parking_lot_core 0.9.3
redox_syscall 0.2.16
scopeguard 1.1.0
smallvec 1.10.0
windows-sys 0.36.1
windows_aarch64_msvc 0.36.1
windows_i686_gnu 0.36.1
windows_i686_msvc 0.36.1
windows_x86_64_gnu 0.36.1
windows_x86_64_msvc 0.36.1

Code/toys/inter/Cargo.lock cargo

autocfg 1.1.0
bitflags 1.2.1
cfg-if 1.0.0
libc 0.2.126
lock_api 0.4.7
parking_lot 0.12.1
parking_lot_core 0.9.3
redox_syscall 0.2.13
scopeguard 1.1.0
smallvec 1.8.0
spin 0.5.2
windows-sys 0.36.1
windows_aarch64_msvc 0.36.1
windows_i686_gnu 0.36.1
windows_i686_msvc 0.36.1
windows_x86_64_gnu 0.36.1
windows_x86_64_msvc 0.36.1

Code/toys/use-after-free/Cargo.lock cargo

libc 0.2.137

Code/toys/intra/Cargo.lock cargo

bitflags 1.2.1
cfg-if 0.1.10
cloudabi 0.0.3
libc 0.2.70
lock_api 0.3.4
parking_lot 0.10.2
parking_lot_core 0.7.2
redox_syscall 0.1.56
scopeguard 1.1.0
smallvec 1.4.0
winapi 0.3.8
winapi-i686-pc-windows-gnu 0.4.0
winapi-x86_64-pc-windows-gnu 0.4.0