#vulnerable code 
                                private void onUpdateCloudletProcessingListener(CloudletVmEventInfo eventInfo) {
        Cloudlet c = eventInfo.getCloudlet();
        double cpuUsage = c.getUtilizationModelCpu().getUtilization(eventInfo.getTime())*100;
        double ramUsage = c.getUtilizationModelRam().getUtilization(eventInfo.getTime())*100;
        double bwUsage  = c.getUtilizationModelBw().getUtilization(eventInfo.getTime())*100;
        System.out.printf(
                "\t#EventListener: Time %.0f: Updated Cloudlet %d execution inside Vm %d",
                eventInfo.getTime(), c.getId(), eventInfo.getVm().getId());
        System.out.printf(
                "\tCurrent Cloudlet resource usage: CPU %3.0f%%, RAM %3.0f%%, BW %3.0f%%\n",
                cpuUsage,  ramUsage, bwUsage);
    } 
                            #location 6 
                            #vulnerability type CHECKERS_PRINTF_ARGS
#fixed code
                                private void onUpdateCloudletProcessingListener(CloudletVmEventInfo eventInfo) {
        Cloudlet c = eventInfo.getCloudlet();
        double cpuUsage = c.getUtilizationModelCpu().getUtilization(eventInfo.getTime())*100;
        double ramUsage = c.getUtilizationModelRam().getUtilization(eventInfo.getTime())*100;
        double bwUsage  = c.getUtilizationModelBw().getUtilization(eventInfo.getTime())*100;
        System.out.printf(
                "\t#EventListener: Time %.0f: Updated Cloudlet %d execution inside Vm %d",
                eventInfo.getTime(), c.getId(), eventInfo.getVm().getId());
        System.out.printf(
                "\tCurrent Cloudlet resource usage: CPU %3.0f%%, RAM %3.0f%%, BW %3.0f%%%n",
                cpuUsage,  ramUsage, bwUsage);
    }