#vulnerable code 
                             private void printExecution(ExecutionMetric execution) {
		output.printf("             count = %d%n", execution.counter.count);
		output.printf("         last rate = %2.2f/s%n", execution.counter.lastRate);
		output.printf("         mean rate = %2.2f/s%n", execution.counter.meanRate);
		output.printf("               min = %d ms%n", execution.histogram.min);
		output.printf("               max = %d ms%n", execution.histogram.max);
		output.printf("              mean = %2.2f ms%n", execution.histogram.mean);
		for (Entry<Double, Long> pct : execution.histogram.pcts.entrySet()) {
			output.printf("           %2.2f%% <= %d ms%n", pct.getKey() * 100, pct.getValue());
		}
	} 
                            #location 9 
                            #vulnerability type CHECKERS_PRINTF_ARGS
#fixed code
                             private void printExecution(ExecutionMetric execution) {
		output.printf("             count = %d%n", execution.counter.count);
		output.printf("         last rate = %2.2f/s%n", execution.counter.lastRate);
		output.printf("         mean rate = %2.2f/s%n", execution.counter.meanRate);
		output.printf("               min = %d ms%n", execution.histogram.min);
		output.printf("               max = %d ms%n", execution.histogram.max);
		output.printf("              mean = %2.2f ms%n", execution.histogram.mean);
		for (Entry<Double, Long> pct : execution.histogram.pcts.entrySet()) {
			output.printf("           %2.2f%% <= %d ms%n", pct.getKey(), pct.getValue());
		}
	}