Tools for automatic program analysis promise to improve programmer productivity by searching and summarizing large bodies of code. However, the phenomenon of aliasing — different names being used to refer to the same data -- places fundamental limits on the effectiveness of simple textual analyses. My thesis system, Ajax, addresses this problem by incorporating static alias analysis into a number of different tools to aid Java programmers. The system handles arbitrary Java programs and has been evaluated against real Java applications such as the Javac Java compiler and the Javafig graphic editor. From the Series:CSE Colloquia - 2001