rellic
rellic copied to clipboard
Rellic produces goto-free C output from LLVM bitcode
Scheduled runs have been failing for a while. Here is the latest one https://github.com/lifting-bits/rellic/actions/runs/4070842330 We're using a larger GitHub Actions runner, which costs money, so we should revisit whether we...
See #80 - `generate_compile_commands.py` and `compress_bitcode.sh` have been taken from the `AnghaBench` repository and modified slightly for the gcc torture tests. - `build_and_compress.sh` will download the test suite using LLVM's...
The new user-extension points allow changing the type inferred for `alloca`s, arguments and global variables, which make it the ideal way to let debug info enrich the decompilation, similar to...
It would be nice if there were a canonicalization pass that attempted to improve the likelihood of deterministic output across runs. For example: The idea of a canonicalizing pass in...