soot-oss / soot Java 3.1K 726 Soot - A Java optimization framework java optimization java-optimization-framework analysis-framework