/haybale

Symbolic execution of LLVM IR with an engine written in Rust

Primary LanguageRustMIT LicenseMIT

Watchers