haybale: Symbolic Execution of LLVM IR, Written in Rust

Symbolic execution of LLVM IR with an engine written in Rust – PLSysSec/haybale… Read more


Rust: Notes on Io-Uring

Last fall I was working on a library to make a safe API for driving futures on top of an an io-uring instance. Though I released bindings to liburing called iou, the futures integration, called ostkreuz, was never released. I don’t know if I will pick thi... (more…)

Read more »