Haybale: Symbolic execution of LLVM IR

Pronouncing Haybale, a symbolic execution engine for LLVM IR written in @rustlang. Haybale can analyze methods written in C/C++, Rust, or every other language which compiles to LLVM IR. Operating in this has been nice amusing, and I'm excited to unlock 0.1.0!https://t.co/zzTUI6JrIJ — Craig Disselkoen (@craigdissel) November 25, 2020 Haybale model 0.2.0 is out! Now […]