-
Notifications
You must be signed in to change notification settings - Fork 35
Closed
Labels
‼ priority:p1Priority planning - level 1Priority planning - level 1🌍 scope:interprocWork regarding interprocedural analyses or call graphsWork regarding interprocedural analyses or call graphs🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yetBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't workingSomething isn't working
Milestone
Description
Description
An UnresolvedCall will be registered two times inside the callsites of a cfg: once during resolution (BaseCallGraph.resolve()) where the unresolved version is marked as call site of all cfgs that it has been resolved against) and one when the resolved CFGCall is registered through CallGraph.registerCall.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
‼ priority:p1Priority planning - level 1Priority planning - level 1🌍 scope:interprocWork regarding interprocedural analyses or call graphsWork regarding interprocedural analyses or call graphs🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yetBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't workingSomething isn't working