#vulnerable code 
                                private void printVmUtilizationHistory(Vm vm) {
        System.out.println(vm + " RAM and BW utilization history");
        System.out.println("----------------------------------------------------------------------------------");

        //A set containing all resource utilization collected times
        final Set<Double> timeSet = allVmsRamUtilizationHistory.get(vm).keySet();

        final Map<Double, Double> vmRamUtilization = allVmsRamUtilizationHistory.get(vm);
        final Map<Double, Double> vmBwUtilization = allVmsBwUtilizationHistory.get(vm);

        for (final double time : timeSet) {
            System.out.printf(
                "Time: %10.1f secs | RAM Utilization: %10.2f%% | BW Utilization: %10.2f%%\n",
                time, vmRamUtilization.get(time) * 100, vmBwUtilization.get(time) * 100);
        }

        System.out.println("----------------------------------------------------------------------------------\n");
    } 
                            #location 12 
                            #vulnerability type CHECKERS_PRINTF_ARGS
#fixed code
                                private void printVmUtilizationHistory(Vm vm) {
        System.out.println(vm + " RAM and BW utilization history");
        System.out.println("----------------------------------------------------------------------------------");

        //A set containing all resource utilization collected times
        final Set<Double> timeSet = allVmsRamUtilizationHistory.get(vm).keySet();

        final Map<Double, Double> vmRamUtilization = allVmsRamUtilizationHistory.get(vm);
        final Map<Double, Double> vmBwUtilization = allVmsBwUtilizationHistory.get(vm);

        for (final double time : timeSet) {
            System.out.printf(
                "Time: %10.1f secs | RAM Utilization: %10.2f%% | BW Utilization: %10.2f%%%n",
                time, vmRamUtilization.get(time) * 100, vmBwUtilization.get(time) * 100);
        }

        System.out.printf("----------------------------------------------------------------------------------%n%n");
    }