rellic

rellic copied to clipboard

surovic

Signed bitcode values emitted as unsigned C

2

Rellic will sometimes forget signedess and emit unsigned casts for signed integers. Simple example below: signed.c: ```c #include bool signed_less_than_1(signed short v) { return v < 1; } ``` Compile:...

artemdinaburg

Handle AddrSpace casts

2

We will eventually have to handle address space casts to support things like `__thread` and various memory specifications for embedded platforms. How to properly handle these is very machine context...

artemdinaburg

Add proper handling of `undef` values

1

[https://llvm.org/docs/LangRef.html#undefined-values](url) Relates to #158

surovic

```c *(unsigned int *)*(unsigned int *)&_sroa_3_sroa_3[3U] + ((unsigned int)arg0

surovic

[input.zip](https://github.com/lifting-bits/rellic/files/6817601/input.zip)

surovic

Add LLVM IR based regression tests

1

Preprocessing with `llvm-reduce` is encouraged.

surovic

Lifting this bitcode results in an empty function

3

The `enable_pin` function is non-empty in the bitcode, but empty in the decompiled source. ```llvm ; ModuleID = '/tmp/challenge-3/program_c/src/gpio.ll' source_filename = "gpio.c" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-pc-linux-gnu-elf"...

pgoodman

Lifting this bitcode results in a return 1u

1

```llvm ; ModuleID = '/tmp/challenge-3/program_c/src/main.ll' source_filename = "main.c" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-pc-linux-gnu-elf" %struct._IO_FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*,...

pgoodman

Related to [this TODO](https://github.com/lifting-bits/rellic/blob/76d8fa1787d2368a35f62e1f5884eef905f87ef8/rellic/AST/Z3ConvVisitor.cpp#L785)

surovic