[Parser] Lift undetermined jumps as comment

[mm4rks]

Proposal

We ignore jumps that do not have a determined target. E.g.,

Our output:

long dbi_result_get_as_longlong_idx(long * arg1, int arg2) {
    if (*(*(arg1 + 56L) + ((unsigned int)(arg2 + -1) << 1)) > 5) {
        _error_handler(*arg1, -7);
        return 0L;
    }
}
// information for dynamic jump is missing.

Compared to BN HLIL:

Approach

To capture the lost information, check last instruction of leaf basic-blocks for jumps and create a comment.

[mm4rks]

/cib

[github-actions]

Branch issue-335-_Parser_Lift_undetermined_jumps_as_comment created!