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

[RegisterPairHandling] RegisterPairHandling stage generates constants with unknown type #349

Closed rihi closed 8 months ago

rihi commented 9 months ago

RegisterPairHandling creates constants with unknown variable type when converting register pairs from hight:low to low + high << low.type.size. This causes expression simplifcation CollapseConstants to fail because it expects integer constants when folding constants.

rihi commented 9 months ago

/cib

github-actions[bot] commented 9 months ago

Branch issue-349-_RegisterPairHandling_RegisterPairHandling_stage_generates_constants_with_unknown_type created!