keyvalue
id269251344
namelockbud
full_nameBurtonQin/lockbud
html_urlhttps://github.com/BurtonQin/lockbud
descriptionStatically detect memory, concurrency bugs and possible panic locations for Rust.
created_atJune 4, 2020, 3:26 a.m.
updated_atSept. 26, 2024, 7:54 a.m.
pushed_atSept. 20, 2024, 5:14 p.m.
size533
stargazers_count431
watchers_count9
forks_count25
open_issues8
languageRust
awesome_list

https://github.com/analysis-tools-dev/static-analysis