haybale: Symbolic Execution Engine for LLVM IR, written in Rustgithub.com/PLSysSec3 pointsmatt_d7 years ago