PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rusthttps://github.com/PLSysSec/haybale by sansnomme • 6 years ago 1 0 6 years agoGIgithub.com