}
XMLAnalysis an = new XMLAnalysis(System.getProperty("soot-classpath"), classes);
//an.setDiagnostics(new DumpfileDiagnostics("Analyzer", new File("out")).alwaysDump());
an.setConfiguration(new JWIGConfiguration());
an.analyze();
}
private static void addClassesFromDir(String prefix, File dir, boolean recursive, String packageFilter, Collection<String> classes) {
File[] files = dir.listFiles(new FileFilter() {
@Override