GitHub repository: yigitk/GSA_Gen
Primary language: Java
Description: A library to parse a Java program, transform it into Gated Single Assignment (GSA) form and record all variables and predicates.