issues
search
BurtonQin
/
lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
BSD 3-Clause "New" or "Revised" License
445
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Latest Rust nightly support
#70
eserilev
closed
1 week ago
2
FP UseAfterFree Warning
#69
stoneman258
opened
3 weeks ago
1
Update github action to Rust nightly-2024-05-21
#68
eserilev
closed
4 weeks ago
0
other example
#67
kevindadi
closed
1 month ago
0
Fail to find UAF toy bugs
#66
BurtonQin
closed
1 month ago
1
fix: LOCKBUD_LOG is not passed from cargo-lockbud to lockbud
#65
zjp-CN
closed
1 month ago
1
fix: args behind `--` is not forwarded to cargo build
#64
zjp-CN
closed
1 month ago
2
Why is `cargo clean` needed to run lockbud?
#63
zjp-CN
closed
1 month ago
3
FP Panic Warning
#62
stoneman258
closed
1 month ago
2
Detection on `atomic-violation` toy code emits a possible AtomicityViolation on getrandom
#61
zjp-CN
closed
3 months ago
2
Update rust-toolchain
#60
mokhaled2992
closed
3 months ago
0
Update rust-toolchain.toml
#59
mokhaled2992
closed
3 months ago
2
Next goals of lockbud
#58
BurtonQin
opened
3 months ago
5
Error with GitHub Action
#57
MathieuSoysal
opened
7 months ago
3
Possible to create GitHub Action
#56
MathieuSoysal
closed
7 months ago
2
Detect Rayon deadlocks
#55
michaelsproul
opened
10 months ago
0
bump rust nightly version to 2023 10 19
#54
serejkaaa512
closed
12 months ago
1
Support for Tokio::sync primitives
#53
agourlay
opened
1 year ago
3
Prepare code and data release of TSE
#52
BurtonQin
closed
1 month ago
0
Add docker usage to README
#51
bxb100
closed
1 year ago
1
Add CI: GitHub Action
#50
BurtonQin
closed
1 year ago
0
CI: GitHub Action
#49
bxb100
closed
1 year ago
1
Add github action
#48
Borber
closed
1 year ago
5
Bump to rustc nightly-2023-04-11
#47
Millione
closed
1 year ago
0
Keep up to date with rustc?
#46
Millione
closed
1 year ago
2
typo
#45
lengyijun
closed
1 year ago
0
run ./detect.sh failed
#44
wasd96040501
closed
1 year ago
1
On Mac OS: `lockbud/cargo_dir.txt: No such file or directory`
#43
gitmalong
opened
1 year ago
1
why use the "instance" rather than implementing a block visitor to build the callgraph?
#42
ffanyq
closed
1 year ago
2
Bump to rustc nightly-2022-10-06
#41
BurtonQin
closed
2 years ago
0
Keep up to date with rustc
#40
BurtonQin
closed
2 years ago
0
Fix FPs where a lock in a loop or recursive fn
#39
BurtonQin
closed
2 years ago
0
FPs caused by the same lock in a loop or recursive function
#38
BurtonQin
closed
2 years ago
0
Fix FPs due to RwLock::read_recursive
#37
BurtonQin
closed
2 years ago
0
Aptos
#36
BurtonQin
closed
2 years ago
0
FPs in condvar deadlock detector when the two locks are the same
#35
BurtonQin
opened
2 years ago
0
FPs caused by passing LockGuard directly as parameters
#34
BurtonQin
opened
2 years ago
0
FPs with RwLock::read_recursive
#33
BurtonQin
closed
2 years ago
0
fix lifetime issue with accurate trigger
#32
charlesxsh
closed
2 years ago
0
Add unit-tests
#31
BurtonQin
closed
2 years ago
0
Update LICENSE to BSD-3
#30
BurtonQin
closed
2 years ago
0
Add condar deadlock and missing-lock detectors with test cases
#29
BurtonQin
closed
2 years ago
0
Condvar
#28
BurtonQin
closed
2 years ago
0
fixing issues during visualization
#27
songlh
closed
2 years ago
0
Detect deadlocks caused by mutex and channel (or conditional variable)
#26
songlh
closed
2 years ago
0
Update README.md: rustc version, detected bugs, usage demo of blacklists
#25
BurtonQin
closed
2 years ago
0
Bump to rustc nightly-2022-06-14
#24
BurtonQin
closed
2 years ago
0
Bump smallvec from 1.4.0 to 1.8.0 in /toys/inter
#23
dependabot[bot]
closed
2 years ago
0
Fix a conflict-lock FP and add it to toys
#22
BurtonQin
closed
2 years ago
0
Upgrade dep lock_api to stop the security warning, used only in toys
#21
BurtonQin
closed
2 years ago
0
Next