sslab-gatech / Rudra

Rust Memory Safety & Undefined Behavior Detection

sslab-gatech/Rudra Issues

Failed to load source for dependency
Closed 3 months ago1
Standalone examples for Rudra
Closed 3 months ago1
Why not publish a crate for rudra?
Closed 3 months ago1
update compiler-version for `edition2021` support
Updated 6 months ago7
Some test cases in panic_safety seem confusing
Updated 9 months ago3
custom-build:build-script-build is not supported
Closed 9 months ago3
Updating to a more recent version of rust compiler
Updated 9 months ago2
Update to latest rust version
Closed a year ago3
GitHub action
Updated 2 years ago5
Rudra not compiling with derive(Default)
Closed 2 years ago2
Rudra can't work well because the toolchain used is quite old.
Closed 2 years ago2
Support SARIF output
Updated 2 years ago
Failed to run 'cargo rudra' for crates
Updated 2 years ago2
Suppress negative impl for SendSyncVariance implementations
Closed 3 years ago1
Rudra panics while stdlib analysis after updating it to 2021-08-20
Closed 3 years ago
Update to newer rust version?
Closed 3 years ago2
Failed to load source for dependency
Closed 3 years ago1
Pre-built docker image?
Closed 3 years ago4
Could not obtain Cargo metadata
Updated 3 years ago10