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

Add configuration option for allowing for-loops #351

Closed ebehner closed 8 months ago

ebehner commented 8 months ago

For the ISR cooperation, we promised a config-option that turns the reconstruction of for-loops on and off. This is now implemented. If the option is set to true, still all other configuration options have to hold in order to reconstruct a for-loop. If it is set to false, no for loop is restructured.

Question: This overwrites the option force_for_loop, i.e., if restructure_for_loop is set to false and force_for_loop to true, no for-loop is restructured. Do we want a warning in this scenario?