PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rustgithub.com/PLSysSec1 pointsansnomme6 years ago