Closed LukasKlenner closed 11 months ago
Add a basic foundation for future alias analysis by defining the used properties. The available properties are:
The actual analysis, including test cases, will be added in future pull requests.
Add a basic foundation for future alias analysis by defining the used properties. The available properties are:
The actual analysis, including test cases, will be added in future pull requests.