Skip to content

[BUG] Hierarchy traversals do not stop when a target is found #341

New issue
New issue
Closed
Bug
#329
Closed
[BUG] Hierarchy traversals do not stop when a target is found#341
Bug
#329
Assignees
lucaneg
Labels
⁉ priority:p2Priority planning - level 2🌍 scope:interprocWork regarding interprocedural analyses or call graphs🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't working🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms
Milestone
0.2
@lucaneg

Description

@lucaneg
lucaneg
opened on Sep 10, 2025

Description
Both in BaseCallGraph and in AccessInstanceGlobal, the traversal of the unit hierarchy should stop when a matching code member or global is found.

Metadata

Metadata

Assignees

Labels

⁉ priority:p2Priority planning - level 2🌍 scope:interprocWork regarding interprocedural analyses or call graphs🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't working🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms

Type

Bug

Projects

LiSA

Status

Merged

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions