GitHub – PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust

https://github.com/PLSysSec/haybale