Symbolic execution of LLVM IR with an engine written in Rust - View it on GitHub