keyvalue
id309803886
nameRudra
full_namesslab-gatech/Rudra
html_urlhttps://github.com/sslab-gatech/Rudra
descriptionRust Memory Safety & Undefined Behavior Detection
created_atNov. 3, 2020, 8:50 p.m.
updated_atSept. 27, 2024, 2:31 a.m.
pushed_atMarch 9, 2024, 10:16 p.m.
size1,265
stargazers_count1,312
watchers_count28
forks_count42
open_issues5
languageRust
awesome_list

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