search

fkie-cad / dewolf

A research decompiler implemented as a Binary Ninja plugin.
GNU Lesser General Public License v2.1
162 stars 9 forks source link

Simplify branches with true or false conditions #379

Open github-actions[bot] opened 5 months ago

github-actions[bot] commented 5 months ago

closes #102

fnhartmann commented 5 months ago

Branches with true or false conditions will be simplified. If this results in an empty condition, this will also be simplified.

For example

if(a == 5){
    if(false){
        c = 5
        return c
    }
}

would be completely removed.

The default setting for this option is False. It will be discussed next week and maybe changed.

fnhartmann commented 5 months ago

The default setting for this option is False. It will be discussed next week and maybe changed.

As discussed today, we will set this to True.