Project Description This is a project for java Pointer Analysis. We implement a flow-sensitive and field-sensitive analyzer. Folder Structure The workspace contains serveal folders by default, where: src: the folder to maintain sources