IBM Wala, used for analysing Java byte code