output: #fixed code
                               private void printCounter(CounterMetric counter) {
  		output.printf("        last count = %d%n", counter.lastCount);
  		output.printf("       total count = %d%n", counter.totalCount);
  		output.printf("         last rate = %d%n", counter.lastRate);
  		output.printf("         mean rate = %d%n", counter.meanRate);
  	}
input: #vulnerable code 
                               private void printCounter(CounterMetric counter) {
  		output.printf("        last count = %d%n", counter.lastCount);
  		output.printf("       total count = %d%n", counter.totalCount);
  		output.printf("         last rate = %2.2f/s%n", counter.lastRate);
  		output.printf("         mean rate = %2.2f/s%n", counter.meanRate);
  	} 
                              #location 5 
                              #vulnerability type CHECKERS_PRINTF_ARGS