Buggy code:
public class Test { private static final class MyResultsAvailableHandler implements ResultsAvailableHandler { private final BufferedWriter wr ; private MyResultsAvailableHandler ( ) { } private MyResultsAvailableHandler ( BufferedWriter wr ) { } @ Override public void onResultsAvailable ( IInfoflowCFG cfg , InfoflowResults results ) { } private void print ( String string ) { } } private static InfoflowAndroidConfiguration config = new InfoflowAndroidConfiguration ( ) ; private static int repeatCount = 1 ; private static int timeout = - 1 ; private static int sysTimeout = - 1 ; private static boolean aggressiveTaintWrapper = false ; private static boolean noTaintWrapper = false ; private static String summaryPath = "" ; private static String resultFilePath = "" ; private static boolean DEBUG = false ; private static IIPCManager ipcManager = null ; public static void setIPCManager ( IIPCManager ipcManager ) { } public static IIPCManager getIPCManager ( ) { } public static void main ( final String [ ] args ) throws IOException , InterruptedException { } private static boolean parseAdditionalOptions ( String [ ] args ) { } private static boolean validateAdditionalOptions ( ) { } private static void runAnalysisTimeout ( final String fileName , final String androidJar ) { } private static void runAnalysisSysTimeout ( final String fileName , final String androidJar ) { String classpath = System . getProperty ( "java.class.path" ) ; String javaHome = System . getProperty ( "java.home" ) ; String executable = "//usr//bin//timeout" ; <START_BUG> String [ ] command = new String [ ] { executable , "-s" , "KILL" , ( Test . sysTimeout ) + "m" , javaHome + "//bin//java" , "-cp" , classpath , "soot.jimple.infoflow.android.TestApps.Test" , fileName , androidJar , Test . config . getStopAfterFirstFlow ( ) ? "--singleflow" : "--nosingleflow" , Test . config . getEnableImplicitFlows ( ) ? "--implicit" : "--noimplicit" , Test . config . getEnableStaticFieldTracking ( ) ? "--static" : "--nostatic" , "--aplength" , Integer . toString ( InfoflowAndroidConfiguration . getAccessPathLength ( ) ) , "--cgalgo" , Test . callgraphAlgorithmToString ( Test . config . getCallgraphAlgorithm ( ) ) , Test . config . getEnableCallbacks ( ) ? "--callbacks" : "--nocallbacks" , Test . config . getEnableExceptionTracking ( ) ? "--exceptions" : "--noexceptions" , "--layoutmode" , Test . layoutMatchingModeToString ( Test . config . getLayoutMatchingMode ( ) ) , Test . config . getFlowSensitiveAliasing ( ) ? "--aliasflowsens" : "--aliasflowins" , Test . config . getComputeResultPaths ( ) ? "--paths" : "--nopaths" , Test . aggressiveTaintWrapper ? "--aggressivetw" : "--nonaggressivetw" , "--pathalgo" , Test . pathAlgorithmToString ( Test . config . getPathBuilder ( ) ) , ( ( Test . summaryPath ) != null ) && ( ! ( Test . summaryPath . isEmpty ( ) ) ) ? "--libsumtw" : "--nolibsumtw" , ( ( Test . summaryPath ) != null ) && ( ! ( Test . summaryPath . isEmpty ( ) ) ) ? Test . summaryPath : "" , ( ( Test . resultFilePath ) != null ) && ( ! ( Test . resultFilePath . isEmpty ( ) ) ) ? "--saveresults" : "" , Test . noTaintWrapper ? "--notaintwrapper" : "" , "--repeatCount" , Integer . toString ( ( ( Test . repeatCount ) - 1 ) ) } ; <END_BUG> System . out . println ( ( ( ( "Running<seq2seq4repair_space>command:<seq2seq4repair_space>" + executable ) + "<seq2seq4repair_space>" ) + ( Arrays . toString ( command ) ) ) ) ; try { ProcessBuilder pb = new ProcessBuilder ( command ) ; pb . redirectOutput ( new File ( ( ( ( ( "out_" + ( new File ( fileName ) . getName ( ) ) ) + "_" ) + ( Test . repeatCount ) ) + ".txt" ) ) ) ; pb . redirectError ( new File ( ( ( ( ( "err_" + ( new File ( fileName ) . getName ( ) ) ) + "_" ) + ( Test . repeatCount ) ) + ".txt" ) ) ) ; Process proc = pb . start ( ) ; proc . waitFor ( ) ; } catch ( IOException ex ) { System . err . println ( ( "Could<seq2seq4repair_space>not<seq2seq4repair_space>execute<seq2seq4repair_space>timeout<seq2seq4repair_space>command:<seq2seq4repair_space>" + ( ex . getMessage ( ) ) ) ) ; ex . printStackTrace ( ) ; } catch ( InterruptedException ex ) { System . err . println ( ( "Process<seq2seq4repair_space>was<seq2seq4repair_space>interrupted:<seq2seq4repair_space>" + ( ex . getMessage ( ) ) ) ) ; ex . printStackTrace ( ) ; } } private static String callgraphAlgorithmToString ( CallgraphAlgorithm algorihm ) { } private static String layoutMatchingModeToString ( LayoutMatchingMode mode ) { } private static String pathAlgorithmToString ( PathBuilder pathBuilder ) { } private static InfoflowResults runAnalysis ( final String fileName , final String androidJar ) { } @ SuppressWarnings ( { "rawtypes" , "unchecked" } ) private static ITaintPropagationWrapper createLibrarySummaryTW ( ) throws IOException { } private static void printUsage ( ) { } }

Fix:
String [ ] command = new String [ ] { executable , "-s" , "KILL" , ( Test . sysTimeout ) + "m" , javaHome + "//bin//java" , "-cp" , classpath , "soot.jimple.infoflow.android.TestApps.Test" , fileName , androidJar , Test . config . getStopAfterFirstFlow ( ) ? "--singleflow" : "--nosingleflow" , Test . config . getEnableImplicitFlows ( ) ? "--implicit" : "--noimplicit" , Test . config . getEnableStaticFieldTracking ( ) ? "--static" : "--nostatic" , "--aplength" , Integer . toString ( InfoflowAndroidConfiguration . getAccessPathLength ( ) ) , "--cgalgo" , Test . callgraphAlgorithmToString ( Test . config . getCallgraphAlgorithm ( ) ) , Test . config . getEnableCallbacks ( ) ? "--callbacks" : "--nocallbacks" , Test . config . getEnableExceptionTracking ( ) ? "--exceptions" : "--noexceptions" , "--layoutmode" , Test . layoutMatchingModeToString ( Test . config . getLayoutMatchingMode ( ) ) , Test . config . getFlowSensitiveAliasing ( ) ? "--aliasflowsens" : "--aliasflowins" , Test . config . getComputeResultPaths ( ) ? "--paths" : "--nopaths" , Test . aggressiveTaintWrapper ? "--aggressivetw" : "--nonaggressivetw" , "--pathalgo" , Test . pathAlgorithmToString ( Test . config . getPathBuilder ( ) ) , ( ( Test . summaryPath ) != null ) && ( ! ( Test . summaryPath . isEmpty ( ) ) ) ? "--libsumtw" : "--nolibsumtw" , ( ( Test . summaryPath ) != null ) && ( ! ( Test . summaryPath . isEmpty ( ) ) ) ? Test . summaryPath : "" , ( ( Test . resultFilePath ) != null ) && ( ! ( Test . resultFilePath . isEmpty ( ) ) ) ? "--saveresults" : "" , Test . noTaintWrapper ? "--notaintwrapper" : "" , "--repeatCount" , Integer . toString ( Test . repeatCount ) } ;