rellic icon indicating copy to clipboard operation
rellic copied to clipboard
verified publisher icon lifting-bits

Handling exceptions in LLVM IR

Open surovic opened this issue 6 years ago • 1 comments

This includes handling creation of reaching conditions in GenerateAST::CreateEdgeCond and adding all the necessary visitors in IRToASTVisitor and Z3ConvVisitor.

foo.bc.zip

surovic avatar Dec 13 '19 15:12 surovic

foo.bc.zip

As a quick workaround, one can run opt -lowerinvoke foo.bc > foo.opt.bc as preprocessing. rellic-decomp will produce bitcode afterwards. This is not to be taken as a solution to the issue.

surovic avatar Dec 19 '19 21:12 surovic