- Rudra: Rust Memory Safety & Undefined Behavior Detection https://github.com/sslab-gatech/rudra#readme 68 comments rust
Linking pages
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- Static Analyzer Rudra Found over 200 Memory Safety Issues in Rust Crates https://www.infoq.com/news/2021/11/rudra-rust-safety/ 104 comments
- Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale https://www.micahlerner.com/2021/10/31/rudra-finding-memory-safety-bugs-in-rust-at-the-ecosystem-scale.html 44 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
- arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
- Rust Vulnerability Analysis and Maturity Challenges https://insights.sei.cmu.edu/blog/rust-vulnerability-analysis-and-maturity-challenges/ 0 comments
Linked pages
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection
See how to search.