Branch: refs/heads/bbiiggppiigg/prevent-transitive-removal
Home: https://github.com/dyninst/dyninst
Commit: ffa25ae65835a191198311627de4fddfa4fae881
https://github.com/dyninst/dyninst/commit/ffa25ae65835a191198311627de4fddfa4fae881
Author: wuxx1279 <[email protected]>
Date: 2026-01-01 (Thu, 01 Jan 2026)
Changed paths:
M parseAPI/src/Parser.C
Log Message:
-----------
Prevent Transitive Edge Removal
When a basic block is pointed by more than one jump table entry,
Dyninst considers one of the jump table entry overrun and trim
the edge from the jump table, and transitively remove the
outgoing edge of the shared block. This behavior causes inconsistent
view of CFG between patchAPI and parseAPI, where a relocation block
ending with a control flow widget can have no control flow edge
because they are removed.
This PR prevents this transitive edge removal behavior.
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
