com.ibm.wala.examples.analysis