StaticAnalysis.java