[DynInst_API:] [dyninst/dyninst] 7f6aff: Fix detection of conditional jump in slicing

[bbiiggppiigg <noreply@xxxxxxxxxx>]

  Branch: refs/heads/bbiiggppiigg/fix-cond-jump-detection
  Home:   https://github.com/dyninst/dyninst
  Commit: 7f6aff8a4ae7a625c1e0ad23198ccdb91b929a2e
      https://github.com/dyninst/dyninst/commit/7f6aff8a4ae7a625c1e0ad23198ccdb91b929a2e
  Author: wuxx1279 <bbiiggppiigg@xxxxxxxxx>
  Date:   2025-11-12 (Wed, 12 Nov 2025)

  Changed paths:
    M dataflowAPI/src/slicing.C

  Log Message:
  -----------
  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


  Commit: 4696cea880559ee8f2b07c90b100e234212e4c99
      https://github.com/dyninst/dyninst/commit/4696cea880559ee8f2b07c90b100e234212e4c99
  Author: wuxx1279 <bbiiggppiigg@xxxxxxxxx>
  Date:   2025-11-12 (Wed, 12 Nov 2025)

  Changed paths:
    M dataflowAPI/src/slicing.C

  Log Message:
  -----------
  add comment in source


Compare: https://github.com/dyninst/dyninst/compare/c4c05c253f8c...4696cea88055

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