Branch: refs/heads/master
Home: https://github.com/dyninst/dyninst
Commit: 1004557a9d92e2f909a32bd1ab045672e0410673
https://github.com/dyninst/dyninst/commit/1004557a9d92e2f909a32bd1ab045672e0410673
Author: bbiiggppiigg <[email protected]>
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
_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
