/*******************************************************************************
 * Copyright (c) 2012 Secure Software Engineering Group at EC SPRIDE.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the GNU Lesser Public License v2.1
 * which accompanies this distribution, and is available at
 * http://www.gnu.org/licenses/old-licenses/gpl-2.0.html
 * 
 * Contributors: Christian Fritz, Steven Arzt, Siegfried Rasthofer, Eric
 * Bodden, and others.
 ******************************************************************************/
package soot.jimple.infoflow.android.config;

import java.util.LinkedList;
import java.util.List;

import soot.jimple.infoflow.config.IInfoflowConfig;
import soot.options.Options;

public class SootConfigForAndroid implements IInfoflowConfig{

	@Override
	public void setSootOptions(Options options) {
		// explicitly include packages for shorter runtime:
		List<String> excludeList = new LinkedList<String>();
		excludeList.add("java.*");
		excludeList.add("sun.misc.*");
		excludeList.add("android.*");
		excludeList.add("org.apache.*");
		excludeList.add("soot.*");
		excludeList.add("javax.servlet.*");
		options.set_exclude(excludeList);
		Options.v().set_no_bodies_for_excluded(true);
		options.set_output_format(Options.output_format_none);
		
		Options.v().setPhaseOption("cg.cha", "apponly:true");
		Options.v().setPhaseOption("cg.spark", "apponly:true");
	}

}

@@ -1338,125 +1338,8 @@
 e);%0A
-%09%09%0A%09%09Options.v().setPhaseOption(%22cg.cha%22, %22apponly:true%22);%0A%09%09Options.v().setPhaseOption(%22cg.spark%22, %22apponly:true%22);%0A
 %09%7D%0A%0A

Fix for the fix