Using KLEE on Rust-for-Linux

The Rust for Linux project is working on adding support for the Rust language to the Linux kernel with the hope that using Rust will make new code more safe, easier to refactor and review, and easier to write. (See the RFC for more detail about goals and … Read more

Similar

Libbpf-rs: eBPF for the Rust ecosystem

libbpf-rs provides safe Rust bindings to libbpf as well as a cargo plugin to help you develop “Compile Once - Run Everywhere” eBPF applications. Use libbpf-rs over BCC to produce smaller, more efficient, and more predictable applications. (more…)

Read more »

24 days of Rust – derive_builder

Today our focus is the derive_builder crate. It provides a macro to automatically generate setter methods for struct fields. And since all setters return the struct itself, we can chain them in a so called builder pattern.

Read more »

The Great Rewriting in Rust

The book “Writing Secure Code, 2nd Edition” written by David LeBlanc and Michael Howard, published by Microsoft Press in 2002, was once required reading at Microsoft, following Bill Gat… (more…)

Read more »