Steffen Enders

Simplify branches with true or false conditions

3

### Proposal This is a follow-up issue from #59 . > if a condition is false, then we can simply remove the true branch and execute always the false branch,...

### Proposal For [this sample](https://github.com/fkie-cad/dewolf/files/8097481/extractme.zip), the decompiler currently produces the following output: ``` int main(int argc, char ** argv, char ** envp) { int var_0; char var_1; void * i;...

### Proposal At the moment, wedo common subexpression elimination for Constants that have a certain length (configurable). However, in C, these constants are often defined globally. We should extend the...

### Proposal Add configuration options for (for-loops). Right now, I can think of the following options that we probably should add to dewolf: * Loop Variable Names (specify which kind...

### Proposal Specific constants can be very important during binary/malware analysis. For example, such constants may be able to give away the crypto routine used. Since in source code, those...

### Proposal We could leverage API calls to assign meaningful names to variables because API functions have known signatures including the types and names of parameters. If a variable is...

### Proposal Currently a long running decompilation can not be terminated by the user. We should probably add a timeout or interrupt to decompilation in `widget.Worker(QRunnable)`. With regards to difficulties...