Branch: refs/heads/master
Home: https://github.com/dyninst/dyninst
Commit: 19d9920b3452e410c04f672843fa3ca9f8e8fa7c
https://github.com/dyninst/dyninst/commit/19d9920b3452e410c04f672843fa3ca9f8e8fa7c
Author: bbiiggppiigg <[email protected]>
Date: 2026-01-30 (Fri, 30 Jan 2026)
Changed paths:
M parseAPI/src/Parser.C
M parseAPI/src/Parser.h
Log Message:
-----------
Prevent Transitive Edge Removal (#2087)
* 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 when at least one other
edge is pointing at the block.
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
