Search results

Prebuilt docker images are missing

Status: Open.

#339 In lifting-bits/rellic;

· TBX3D opened on Oct 25, 2024

Rellic produces semantically non-equivalent code

bugSomething isn't workingSomething isn't working

Status: Open.

#325 In lifting-bits/rellic;

· vmihalko opened on May 18, 2023

Use new user-extension points to inject debug info

Status: Open.

#316 In lifting-bits/rellic;

· frabert opened on Jan 4, 2023

Canonicalization pass

Status: Open.

#311 In lifting-bits/rellic;

· pgoodman opened on Oct 24, 2022

Investigate reworking CBR and RBR to match Dream

Status: Open.

#291 In lifting-bits/rellic;

· frabert opened on Aug 12, 2022

Inline asm is treated as extern functions and discarded

Status: Open.

#290 In lifting-bits/rellic;

· frabert opened on Aug 11, 2022

Move invalid store handling to an LLVM pass

Status: Open.

#228 In lifting-bits/rellic;

· frabert opened on Feb 16, 2022

Using substitution maps for provenance tracking loses info

Status: Open.

#221 In lifting-bits/rellic;

· frabert opened on Feb 10, 2022

Unsupported value type with mcsema bitcode

Status: Open.

#220 In lifting-bits/rellic;

· Heath123 opened on Feb 6, 2022

Run regression tests in CI

Status: Open.

#214 In lifting-bits/rellic;

· artemdinaburg opened on Jan 10, 2022

Compare results of expression simplifier on vs. off

Status: Open.

#213 In lifting-bits/rellic;

· artemdinaburg opened on Jan 10, 2022

Investigate integration of other SMT solvers via smt-switch

decompRelated to LLVM IR to C decompilerRelated to LLVM IR to C decompiler

enhancementNew feature or requestNew feature or request

Status: Open.

#203 In lifting-bits/rellic;

· surovic opened on Dec 8, 2021