[DynInst_API:] [dyninst/dyninst] 100455: Fix detection of conditional jump in slicing (#2062)

[bbiiggppiigg <noreply@xxxxxxxxxx>]

  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: 1004557a9d92e2f909a32bd1ab045672e0410673
      https://github.com/dyninst/dyninst/commit/1004557a9d92e2f909a32bd1ab045672e0410673
  Author: bbiiggppiigg <bbiiggppiigg@xxxxxxxxx>
  Date:   2025-11-13 (Thu, 13 Nov 2025)

  Changed paths:
    M dataflowAPI/src/slicing.C

  Log Message:
  -----------
  Fix detection of conditional jump in slicing (#2062)

* Fix detection of conditional jump in slicing

Currently, in backward slicing, the detection of the conditional jump
assumes both
COND_TAKEN and COND_NOT_TAKEN are present.

However, under current parsing implementation, it could be the case
where only
one of the edges are present when parsing the indirect control flow in
the fallthrough block.

As a result, when backward slicing on the jump table index, the slicer
would miss the fact that
predecessor block ends with a conditional jump instruction, and fail to
compute the bound.

Paritally Fixes #2050



To unsubscribe from these emails, change your notification settings at https://github.com/dyninst/dyninst/settings/notifications