radeco
radeco copied to clipboard
Handling signedness in radeco-ir
This affects several analysis (such as sccp
and VSA
). We need a way to handle/express signedness in the IR to ensure correct results.
Opcodes were added in #96. Need to make use of these new opcodes during IR generation.
Afaik it was discussed recently.