Currently, all implementations of the PointsToInfo interface implement an alias analysis instead of a points-to analysis. We should therefore rename both the interface ane its implementations accordingly.
Prerequisites
issue x
Out Of Scope
A isn't part of this
Acceptance Criteria
The following acceptance criteria are defined regarding the result of this story:
Clarify what the final result should be, not how to accomplish it.
Story
Currently, all implementations of the PointsToInfo interface implement an alias analysis instead of a points-to analysis. We should therefore rename both the interface ane its implementations accordingly.
Prerequisites
Out Of Scope
Acceptance Criteria
The following acceptance criteria are defined regarding the result of this story: Clarify what the final result should be, not how to accomplish it.
Related Stories
Follow-up Stories