Skip to content

[FEATURE REQUEST] More customization about call resolution #162

New issue
New issue
Closed
#168
Closed
[FEATURE REQUEST] More customization about call resolution#162
#168
Assignees
lucaneg
Labels
‼ priority:p1Priority planning - level 1🌍 scope:interprocWork regarding interprocedural analyses or call graphs🎆 type:featureNew feature or request🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🏛 scope:program-structureWork regarding the program structure
Milestone
0.1b5
@lucaneg

Description

@lucaneg
lucaneg
opened on Jan 21, 2022

Description
ResolutionStrategy can only decide how to match parameter lists with expressions. We should add capabilities for:

  • performing the assignment of values to parameters (eg for python)
  • name matching (only cfg name, unit + cfg names, ...)
  • types traversal (how to search implementations from the hierarrchy of retrieved types)
  • ...?

Metadata

Metadata

Assignees

Labels

‼ priority:p1Priority planning - level 1🌍 scope:interprocWork regarding interprocedural analyses or call graphs🎆 type:featureNew feature or request🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🏛 scope:program-structureWork regarding the program structure

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions