[rgs_rgs]

- но т.к. вирус будет вылечен/удалён, то после перезагрузки флеш будет в нормальном рабочем состоянии и делайте с ней что хотите. »

повторю еще раз - даже при условии что вирус вылечен/удален - файл autorun.inf ОСТАНЕТСЯ на флешке и будет ЗАБЛОКИРОВАН антивирусом.
в связи с блокировкой данного файла НИ ОДНА программа не сможет получить монопольный доступ к флешке для ее форматирования.
проблема сама по-себе проста, как пять копеек, но для ее понимания нужно знать, как работает форматирование.
посему - форматирование с внешнего загрузочного диска будет действенным на 100%, а так же временное отключение антивируса (или опции запрета автозапуска)