high-assurance-rust
rustsec
Our great sponsors
high-assurance-rust | rustsec | |
---|---|---|
7 | 33 | |
1,264 | 1,521 | |
- | 2.7% | |
7.1 | 9.5 | |
19 days ago | 10 days ago | |
Rust | Rust | |
- | GNU General Public License v3.0 or later |
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!
rustsec
-
Rust Tooling: 8 tools that will increase your productivity
cargo-audit is a simple Cargo tool for detecting vulnerable Rust crates. You can install it with cargo install cargo-audit, use cargo audit and you’re done! Any vulnerable crates will appear below, like so:
-
Rust Offline?
Further we use cargo-auditable and cargo-audit as part of both our pipeline and regular scanning of all deployed services. This makes our InfoSec and Legal super happy since it means they can also monitor compliance with licenses and patch/update timings.
-
Sudo and Su Being Rewritten in Rust for Memory Safety
Yeah your decade old single header libs get so many audits by comparison.
https://github.com/RustSec/rustsec/tree/main/cargo-audit
https://mozilla.github.io/cargo-vet/
cargo is not npm
-
A CVE has been issued for hyper. Denial of Service possible
PSA: before filing CVEs for other people's projects, file an issue with https://rustsec.org instead
-
Should atomics be unsafe?
Historically, such serious bugs get communicated broadly and addressed very quickly via security advisory blog posts and on https://rustsec.org.
-
Rust from a security perspective, where is it vulnerable?
For known vulnerabilities we have the rustsec vulnerability database. You could have a look over there for inspiration. There's also the related cargo-audit for checking dependencies for known vulnerabilities.
-
capnproto-rust: out-of-bound memory access bug
Would be cool if this was also reported to https://rustsec.org/ that way cargo audit could pick up and alert the users about it.
-
`cargo audit` can now scan compiled binaries
P.S. I also made scanning binaries 5x faster in the latest release of cargo audit.
-
My Rust development workflow (after 3+ years)
Thanks to cargo and the community, project maintenance is straightforward in rust. You'll need to install cargo-outdated and cargo-audit:
-
Mental models for learning Rust
Use the automated tools to assist you in the maintenance of your projects: rustfmt, clippy, cargo update, cargo outdated and cargo-audit.
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.
opensnitch - OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
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
vulndb - [mirror] The Go Vulnerability Database
code - Source code for the book Rust in Action
gosec - Go security checker
onelinerhub - Thousands of code solutions with clear explanation @ onelinerhub.com
crates.io - The Rust package registry
fornjot - Early-stage b-rep CAD kernel, written in the Rust programming language.
ripasso - A simple password manager written in Rust
book - The Rust Programming Language
advisory-db - Security advisory database for Rust crates published through crates.io