Skip to content

README.md

Latest commit

 

History

History
executable file
·
1 lines (1 loc) · 189 Bytes

README.md

File metadata and controls

executable file
·
1 lines (1 loc) · 189 Bytes

This is an implemetation of a graph-based approach to variable aliasing. Given a Java method and a point p, determine the aliasing of variables at point p. The analysis is done statically.