denuvo-ref/angr
1
0
Fork 0
mirror of https://github.com/angr/angr synced 2026-08-17 12:23:11 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

SLiveness: Drop the redundant successors/predecessors caches. (#6843)

Browse source
This commit is contained in:
Fish 2026-08-14 02:13:58 -05:00 • committed by GitHub
parent 2c95eb92e6
commit 503b1be066
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
angr/analyses/s_liveness.py
View file

@ -74,9 +74,6 @@ class SLivenessAnalysis(Analysis):
# blocks whose statements have been walked at least once
walked: set[tuple[int, int | None]] = set()
successors = {block: list(graph.successors(block)) for block in graph}
predecessors = {block: list(graph.predecessors(block)) for block in graph}
order: list[Block] = list(networkx.dfs_postorder_nodes(graph, source=entry))
worklist = deque(order)
worklist_set = set(order)
@ -91,7 +88,7 @@ class SLivenessAnalysis(Analysis):
head_controlled_loop = is_head_controlled_loop_block(block)
live = set()
for succ in successors[block]:
for succ in graph.successors(block):
succ_key = succ.addr, succ.idx
if head_controlled_loop and block_key == succ_key:
# this is a head-controlled loop block; we ignore the self-loop edge because all variables defined
@ -176,7 +173,7 @@ class SLivenessAnalysis(Analysis):
changed = True
if changed:
for pred in predecessors[block]:
for pred in graph.predecessors(block):
if pred not in worklist_set:
worklist.append(pred)
worklist_set.add(pred)