Decompilation of Binaries into LLVM IR for Automated Analysis