Issues

• IRToASTVisitor: preserve LLVM DLL import and export storage classes

  lifting-bits/rellic#353 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: preserve external LLVM global declarations as C extern

  lifting-bits/rellic#352 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: lower scalar LLVM intrinsics instead of emitting unresolved C calls

  lifting-bits/rellic#351 · Filter by author humdrum00001010 opened on Oct 5, 2026
  2

• IRToASTVisitor: handle fixed-vector insertion, extraction and shuffle

  lifting-bits/rellic#350 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: preserve source-width bits for integer equality and zero extension

  lifting-bits/rellic#349 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: preserve unordered floating-point comparison semantics

  lifting-bits/rellic#348 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: preserve native calling conventions in declarations and calls

  lifting-bits/rellic#347 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: preserve parallel PHI updates

  lifting-bits/rellic#346 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: sign-extend from the source width

  lifting-bits/rellic#345 · Filter by author humdrum00001010 opened on Oct 5, 2026

• IRToASTVisitor: preserve scalar bitcast bits

  lifting-bits/rellic#344 · Filter by author humdrum00001010 opened on Oct 5, 2026

• Prebuilt docker images are missing

  lifting-bits/rellic#339 · Filter by author TBX3D opened on Oct 25, 2024
  13

• Rellic produces semantically non-equivalent code

  bug
  lifting-bits/rellic#325 · Filter by author vmihalko opened on May 18, 2023
  2

• Use new user-extension points to inject debug info

  lifting-bits/rellic#316 · Filter by author frabert opened on Jan 4, 2023

• Canonicalization pass

  lifting-bits/rellic#311 · Filter by author pgoodman opened on Oct 24, 2022

• Investigate reworking CBR and RBR to match Dream

  lifting-bits/rellic#291 · Filter by author frabert opened on Aug 12, 2022

• Inline asm is treated as extern functions and discarded

  lifting-bits/rellic#290 · Filter by author frabert opened on Aug 11, 2022

• Move invalid store handling to an LLVM pass

  lifting-bits/rellic#228 · Filter by author frabert opened on Feb 16, 2022

• Using substitution maps for provenance tracking loses info

  lifting-bits/rellic#221 · Filter by author frabert opened on Feb 10, 2022
  2

• Unsupported value type with mcsema bitcode

  lifting-bits/rellic#220 · Filter by author Heath123 opened on Feb 6, 2022
  4

• Run regression tests in CI

  lifting-bits/rellic#214 · Filter by author artemdinaburg opened on Jan 10, 2022

• Compare results of expression simplifier on vs. off

  lifting-bits/rellic#213 · Filter by author artemdinaburg opened on Jan 10, 2022

• Investigate integration of other SMT solvers via smt-switch

  decompenhancement
  lifting-bits/rellic#203 · Filter by author surovic opened on Dec 8, 2021

• Recover type information

  decompenhancementuser-story
  lifting-bits/rellic#190 · Filter by author frabert opened on Oct 21, 2021
  8

• Merge local variables and parameter declarations when possible

  decompenhancementuser-story
  lifting-bits/rellic#188 · Filter by author frabert opened on Oct 19, 2021
  5

• Maintain gotos when present in the original C code

  decompenhancementuser-story
  lifting-bits/rellic#186 · Filter by author frabert opened on Oct 19, 2021
  3