lifting-bits/rellic

Issues

• Prebuilt docker images are missing

  #339 opened 3 months ago by TBX3D
  0

• Assertion `NewParamInfo.size() == getNumParams() && "Parameter count mismatch!"` failed.

  #333 opened 9 months ago by aytey
  3

• rellic decompilation failure

  #322 opened 9 months ago by 0x410c
  17

• Crash with message "Invalid z3 op" on an IR file.

  #335 opened 9 months ago by am009
  1

• "Exception terminator 'invoke' is not supported yet"

  #334 opened 10 months ago by aytey
  5

• Rellic produces semantically non-equivalent code

  #325 opened 2 years ago by vmihalko
  1

• Scheduled CI runs are failing

  #318 opened 2 years ago by ekilmer
  0

• Use new user-extension points to inject debug info

  #316 opened 2 years ago by frabert
  0

• Invalid operand in IRToASTVisitor.cpp:264

  #242 opened 2 years ago by TimHe95
  2

• Improve README

  #310 opened 2 years ago by pgoodman
  0

• Canonicalization pass

  #311 opened 2 years ago by pgoodman
  0

• Eliminate redundant casts when dealing with pointers

  #187 opened 2 years ago by frabert
  3

• Investigate simplification using Z3's `ctx-solver-simplify`

  #192 opened 2 years ago by surovic
  1

• Create CMake install target for `librellic.a`

  #178 opened 2 years ago by surovic
  0

• Improve `while` lifting

  #185 opened 2 years ago by frabert
  7

• Provenance tracking for declarations

  #211 opened 2 years ago by pgoodman
  6

• Remove 'compat' code

  #236 opened 2 years ago by artemdinaburg
  0

• Anvill to Rellic does not compile

  #293 opened 2 years ago by Ninja3047
  1

• Investigate reworking CBR and RBR to match Dream

  #291 opened 2 years ago by frabert
  0

• Inline asm is treated as extern functions and discarded

  #290 opened 2 years ago by frabert
  0

• Ideas for refinement pass improvements / new refinement passes

  #260 opened 3 years ago by frabert
  1

• Probable bug in `LoopRefine`

  #261 opened 3 years ago by frabert
  4

• Support `fneg`

  #163 opened 3 years ago by artemdinaburg
  0

• Globals should be sorted using a topological ordering

  #249 opened 3 years ago by frabert
  1

• Double call when decompiling optimized bitcode?

  #194 opened 3 years ago by frabert
  1

• Unsound condition transformation

  #205 opened 3 years ago by xlauko
  1

• Investigate selectively applying simplification in `Z3CondSimplify`

  #193 opened 3 years ago by surovic
  1

• Investigate a more guided approach to `Z3CondSimplify`

  #202 opened 3 years ago by surovic
  1

• Rellic API

  #209 opened 3 years ago by pgoodman
  3

• Rellic should fail gracefully

  #210 opened 3 years ago by pgoodman
  3

• Invalid argument to Z3

  #208 opened 3 years ago by pgoodman
  6

• Array stores are not handled correctly

  #200 opened 3 years ago by frabert
  3

• memcpy intrinsic tests failing on ARM64 with LLVM-13

  #233 opened 3 years ago by ekilmer
  3

• Could `NestedCondProp` also propagate `while` conditions?

  #225 opened 3 years ago by frabert
  0

• Move invalid store handling to an LLVM pass

  #228 opened 3 years ago by frabert
  0

• Using substitution maps for provenance tracking loses info

  #221 opened 3 years ago by frabert
  2

• Unsupported value type with mcsema bitcode

  #220 opened 3 years ago by Heath123
  4

• Bug in rellic-headergen

  #217 opened 3 years ago by pgoodman
  1

• Run regression tests in CI

  #214 opened 3 years ago by artemdinaburg
  0

• Compare results of expression simplifier on vs. off

  #213 opened 3 years ago by artemdinaburg
  0

• Investigate integration of other SMT solvers via `smt-switch`

  #203 opened 3 years ago by surovic
  0

• This bitcode causes a crash

  #183 opened 3 years ago by frabert
  3

• Incorrect result when decompiling pass-by-value struct arguments via WebAssembly

  #195 opened 3 years ago by frabert
  2

• Recover type information

  #190 opened 3 years ago by frabert
  8

• Merge local variables and parameter declarations when possible

  #188 opened 3 years ago by frabert
  5

• Maintain `goto`s when present in the original C code

  #186 opened 3 years ago by frabert
  3

• error: ISO C requires a named parameter before '...'

  #169 opened 3 years ago by surovic
  0

• error: cannot take address of expression

  #167 opened 3 years ago by surovic
  0

• Handle AddrSpace casts

  #160 opened 4 years ago by artemdinaburg
  2

• Add proper handling of `undef` values

  #159 opened 4 years ago by surovic
  1