Niklas Bergmann

Salvaged this branch from the github migration Adds a Pipelinestage after InstructionLengthHandling renaming the Variables Fixes #27

Common Subexpression Elimination has side effects on Restructuring

2

### What happened? The restructuring phase expects all expressions to be fully propagated. However, `CommonSubexpressionElimination` runs first (due to it being implemented on the ssa cfg). This results in undesired...

### Proposal As of now, the `TypePropagation` stage hardly does anything. For example, we do not propagate the type of a pointer to the type it points on. We should...

### Proposal We should use the hungarian notation instead of generic viable names https://en.wikipedia.org/wiki/Hungarian_notation We could also introduce a config option for this. ### Approach We could implement it as...

### Proposal There are about 8 dedicated functions throughout the current codebase dedicated to iterate all subexpressions of an expression. I propose to remove this function in favor of the...

### Proposal Implement a confidence value for types similar to the implementations in IDA, binaryninja and Ghidra. This would allow to resolve conflicts of contradictory type information during type propagation...

Handle Case-Merging for ranges in integer size

5

### Proposal Compilers may try to merge cases as integers in special cases as opposed to range simplification when the ranges are not continuous. Take `test2` from `test_switch` as an...