A tool for analysing aliasing in Java, implemented in Python.