rellic icon indicating copy to clipboard operation
rellic copied to clipboard

Rellic produces goto-free C output from LLVM bitcode

Results 54 rellic issues
Sort by recently updated
recently updated
newest added

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...

bug
testing

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...