Rust Search
Find the best content on Rust, curated by the community; a
search engine for Rustaceans.
1.0Callgraph analysis Say you have a region of a program where users Want Static Verification that some function is never called. For simplicity, let's say you want to make sure you never call panic! so your program doesn't crash. In this p...
1.0Overview At Ferrous Systems, we write a lot of Rust code that runs on bare-metal - the code that is first to run when the processor comes out of reset, and code that has no higher power to call upon for assistance. Some of this we do as...
Today we're announcing the release of Ferrocene 25.11.0, the latest update to our qualified Rust toolchain. This release is particularly special to us as it arrives with our first IEC 61508 (SIL 2) certified subset of the Rust core library...
BERLIN – December 3, 2025 – Ferrous Systems, the leader in Rust-based software solutions for embedded and safety-critical systems, has achieved TÜV SÜD certification for a subset of the Rust core library (core) according to IEC 61508 (SIL 2...
We are attending the European Space Agency's bi-ennial Software Product Assurance Conference in September, at the European Space Research and Technology Centre in Noordwijk, The Netherlands. At the event, we have been invited to present a 4...
1.0Background At Embedded World 2025, we are presenting two demos based around Rust on Arm. The first is our Rust for Microcontrollers demonstration, showing the power of SEGGER's J-Trace system in analysing the performance of the Knurling...
Update: Defmt 1.0 has been released. 1.0What is defmt? The defmt library is described in the defmt book as: A highly efficient logging framework that targets resource-constrained devices, like microcontrollers. It's important to note that,...
Ferrocene A Rust compiler toolchain for safety- and mission-critical environments. We’re proud to announce the release of Ferrocene 24.11.0, the latest update to our qualified Rust toolchain. This version includes new Rust improvements, med...
1.0Introduction About a year ago, the ISRG's Prossimo project approached us to help them to work on a memory safety initiative called hickory-dns, a suite of DNS tools to run authoritative name servers and recursive resolvers. Prossimo is a...
Ferrocene A Rust compiler toolchain for safety- and mission-critical environments. We’re excited to announce the release of Ferrocene 24.08.0, the latest update to our qualified Rust toolchain. This version includes the latest Rust improvem...
1.0Introduction Last year Lars Francke, the co-founder and CTO of Stackable, approached us with a project proposal to improve the generation of Software Bill of Materials (SBOM) in the Rust eco-system. One particular task was to find a way...
1.0Recap of the first post In the first post, we started working through the rustls' pipeline that decodes and decrypts TLS records, removing the heap allocations we came across. After the changes in that first post, the pipeline we covered...
1.0Background Ferrous Systems was contracted by the Internet Security Research Group (ISRG) to work on rustls, a modern TLS library in Rust, in 2023. We worked on adding no-std support to rustls, as well as designing and implementing an alt...
1.0Rust and ThreadX ThreadX is a real-time operating system (or RTOS) written in C which dates back to 1997. The developer, Express Logic, was acquired by Microsoft in 2019 and the product was renamed Azure RTOS. In November 2023, it was an...
Thanks to funding from NLNet and ISRG, the sudo-rs team was able to request an audit from Radically Open Security (ROS). In this post, we'll share the findings of the audit and our response to those findings. ROS performed crystal-box penet...
Ferrocene A Rust compiler toolchain for safety- and mission-critical environments. Do you need help with coding? It’s official: Ferrocene is ISO 26262 and IEC 61508 qualified! You can even find the certificate in TÜV SÜDs certificate databa...
Today we’re publishing Ferrocene, the Rust compiler for safety-critical and cyber-security use, as an open source project. After 2 years of work, we feel ready to make it available - but also fully open source under the classic Rust license...
As you may be aware, Ferrous Systems has done a lot of work around Rust and Embedded Systems; be they "big" embedded systems that run on real-time OS like QNX, or "small" embedded systems that run on bare-metal. We were delighted to have th...
Ferrocene A Rust compiler toolchain for safety- and mission-critical environments. Ferrocene is a qualified downstream of the main Rust compiler, rustc, which is built and maintained for safety-critical and security use. Many vendors fork s...
Ferrocene A Rust compiler toolchain for safety- and mission-critical environments. Over the past few years, Ferrous Systems has been developing Ferrocene, a distribution of the Rust compiler for safety-critical (qualified for ISO 26262 and...
"Such large. Very 128. Much bits."