high-assurance-rust
trophy-case
Our great sponsors
high-assurance-rust | trophy-case | |
---|---|---|
7 | 14 | |
1,264 | 394 | |
- | 1.3% | |
7.1 | 2.8 | |
19 days ago | 20 days ago | |
Rust | ||
- | Creative Commons Zero v1.0 Universal |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
high-assurance-rust
-
Ferrocene – Rust for Critical Systems
related: https://highassurance.rs/
-
Rust from a security perspective, where is it vulnerable?
"High Assurance Rust" is going to be an amazing resource, but is still being written. Still, good stuff there already: https://highassurance.rs/
- High Assurance Rust - High Assurance Rust: Developing Secure and Robust Software
-
Hacker News top posts: Mar 28, 2022
High Assurance Rust: Developing Secure and Robust Software\ (0 comments)
- High Assurance Rust: Developing Secure and Robust Software
- Introducing "High Assurance Rust": a FREE systems software security book!
trophy-case
-
Rust from a security perspective, where is it vulnerable?
You could check cargo-fuzz trophy case, which is a list of issues that have been found via fuzzing.
-
capnproto-rust: out-of-bound memory access bug
I've added it to the trophy case.
-
[LWN] A pair of Rust kernel modules
That said, what's present in what quantities under what circumstances in the Rust fuzzing trophy case does a pretty good job of illustrating how effective the Rust compiler is at ruling out entire classes of bugs.
-
Looking for simple rust programs to crash
The same fuzzing techniques applied to Rust yielded a lot of bugs as well. But in Rust's case only 7 out of 340 fuzzer-discovered bugs, or 2%, were memory corruption issues. Naturally, all of the memory corruption bugs were in unsafe code.
-
Everything Is Broken: Shipping rust-minidump at Mozilla, Part 1
https://github.com/rust-fuzz/trophy-case has like 70 of my issues in it, including the nine minidump bugs
-
Fuzzcheck (a structure-aware Rust fuzzer)
If you have found any bugs with this tool, perhaps add them to the Rust fuzz trophy case?
-
Rust is more portable than C for pngquant/libimagequant
Source: https://github.com/rust-fuzz/trophy-case (over 40 of those are just from me).
-
Rust takes a major step forward as Linux's second official language
But to bring some data, check out the fuzz trophy case. It shows that failures in Rust are most often assertions/panics (equivalent to C++ exception) with memory corruption being relatively rare (it's not never—Rust isn't promising magic—but it's a significant change).
-
Shouldn't have happened: A vulnerability postmortem
You need to read the list more carefully.
• The list is not for Rust itself, but every program every written in Rust. By itself it doesn't mean much, unless you compare prevalence of issues among Rust programs to prevalence of issues among C programs. For some context, see how memory unsafety is rare compared to assertions and uncaught exceptions: https://github.com/rust-fuzz/trophy-case
• Many of the memory-unsafety issues are on the C FFI boundary, which is unsafe due to C lacking expressiveness about memory ownership of its APIs (i.e. it shows how dangerous is to program where you don't have the Rust borrow checker checking your code).
• Many bugs about missing Send/Sync or evil trait implementations are about type-system loopholes that prevented compiler from catching code that was already buggy. C doesn't have these guarantees in the first place, so lack of them is not a CVE for C, but just how C is designed.
- Safer usage of C++ in Chrome
What are some alternatives?
misra-rust - An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
diem - Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
cr4sh_ - cr4sh_ (pronounced crash, because it crashes all the time) is a Linux shell fully written with Rust. This can be used for educational purposes and is a great intro to Systems Programming
go-fuzz - Randomized testing for Go
code - Source code for the book Rust in Action
gccrs - GCC Front-End for Rust
onelinerhub - Thousands of code solutions with clear explanation @ onelinerhub.com
BLAKE3 - the official Rust and C implementations of the BLAKE3 cryptographic hash function
fornjot - Early-stage b-rep CAD kernel, written in the Rust programming language.
bitwarden_rs - Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs [Moved to: https://github.com/dani-garcia/vaultwarden]
book - The Rust Programming Language
go - The Go programming language