Future Features for SAILR

[mahaloz]

Background

During our work on SAILR, there were a few cases and features identified that we thought would be nice to have, but ultimately got timed out due to submission.

All of these cases are not fundamental limitations in the approach, but are instead limitations in our ability to handle corner cases better. This issue will be updated as more cases are found.

Cases

• coreutils.test.find_int: a single node, the top of a loop, is duplicated three times. We aren't able to fix it because SAILR can't currently do nodes that are loop heads. Triggerable in https://github.com/angr/angr/blob/908c5bfc3532385044de0752a0f2e1038b1f3497/tests/analyses/decompiler/test_decompiler.py#L2667. Additionally, these needs support for more than two simultenous deduplication. This schema was not described in the paper.