LLVM 4.0 Upgrade in Rust

Since nobody has done this yet, I decided to get things started: Read more


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 ... (more…)

Read more »