Written by 妖怪November 26, 2019 GitHub – PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust https://github.com/PLSysSec/haybale Share this: Share on X (Opens in new window) X Share on Facebook (Opens in new window) Facebook Like this:Like Loading...