Shimple : and investigation of static single assignment form

In designing compiler analyses and optimisations, the choice of intermediate representation (IR) is a crucial one. Static Single Assignment (SSA) form in particular is an IR with interesting properties, enabling certain analyses and optimisations to be more easily implemented while also being more powerful. Our goal has been to research and implement, various SSA-based IRs for the Soot compiler framework for Java.We present three new IRs based on our Shimple framework for Soot. Simple Shimple is an implementation of the basic SSA form. We explore extensions of SSA form (Extended SSA form and Static Single Information form) and unify them in our implementation of Extended Shimple. Thirdly, we explore the possibility of applying the concepts of SSA form to array element analysis in the context of Java and present Array Shimple.We have designed Shimple to be extensible and reusable, facilitating further research into variants and improvements of SSA form. We have also implemented several analyses and optimisations to demonstrate the utility of Shimple