NeoQuix

[Backend] Fix C-like printing

1

### Proposal With the new `ArrayType` and the refactor of `GlobalVariable` the C-like code generation does not work as expected. Therefore: - fix casting to arrays (there is no cast...

### Proposal Currently the lifter implicitly promotes a detected BNinja void type into an void* because C (and DeWolf) does not have a concept of a void datatype. This leads...

[Switch variable detection] No switch variable candidate found

5

### What happened? ```python Error in bin/esentutl.exe in 0x140002c20 [pipeline.py:107 run()] ERROR - Failed to decompile ?ErrPrintField@@YAJQEBUESEUTIL_SPACE_DUMP_CTX@@QEBU_BTREE_STATS@@QEBU_BTREE_POST_COMPUTED_SPACE_STATS@@K@Z, error during stage backward-slice-switch-variable-detection: No switch variable candidate found. Traceback (most recent call...

[Pattern independent restructuring] 'NoneType' object is not iterable

4

### What happened? ```python3 Error in bin/refsutil.exe in 0x1400ba588 [pipeline.py:107 run()] ERROR - Failed to decompile ?MapView@@YAEPEAU_MscFileObject@@PEAT_LARGE_INTEGER@@KKPEAEPEAPEAX3@Z, error during stage pattern-independent-restructuring: 'NoneType' object is not iterable Traceback (most recent call...

[Lifter] Couldn't find target for type

4

### What happened? ```python Error in bin/esentutl.exe in 0x14001bee0 [frontend.py:140 create_task()] ERROR - Failed to decompile ?TickOSTimeCurrent@@YAKXZ, error during CFG creation: Couldn't find target for type Traceback (most recent call...

CAST-Generator

6

New implementation of c -> pycparser AST -> DeWolf AST tool

[Missing definitions] Every non-aliased variable should be defined, but variable has no definition.

4

### What happened? ```python Error in bin/sacsess.exe in 0x140003750 [pipeline.py:107 run()] ERROR - Failed to decompile ?Write@CVTUTF8Scraper@@UEAAHXZ, error during stage insert-missing-definitions: Every non-aliased variable should be defined, but variable rdx_2#4...

[out-of-ssa-translation] The given set of variables is not an independent set

6

### What happened? ```python [pipeline.py:107 run()] ERROR - Failed to decompile mktime_internal, error during stage out-of-ssa-translation: The given set of variables is not an independent set. At least two variables...

[Phi-Pre] There are variables in the phi-function that are not live at any predecessor block

10

### What happened? ```python Error in bin/wscript.exe in 0x140008880 [pipeline.py:107 run()] ERROR - Failed to decompile ?OnError@XMLScrSite@@UEAAJKPEAUIScriptletError@@@Z, error during stage phi-function-fixer: There are variables in the phi-function that are not...

Initial struct support

2

Add initial struct support in DeWolf.