/*

Legal Notice: Some portions of the source code contained in this file were

governed by the TrueCrypt License 3.0, also from the source code of

Encryption for the Masses 2.02a, which is Copyright (c) 1998-2000 Paul Le Roux

and all other portions of this file are Copyright (c) 2013-2016 IDRIX

and are governed by the Apache License 2.0 the full text of which is

contained in the file License.txt included in VeraCrypt binary and source

#if TC_HIDDEN_VOLUME_HOST_FS_RESERVED_END_AREA_SIZE_HIGH < TC_MAX_VOLUME_SECTOR_SIZE

# error TC_HIDDEN_VOLUME_HOST_FS_RESERVED_END_AREA_SIZE_HIGH too small.

#endif

if (volumeSize < TC_VOLUME_SMALL_SIZE_THRESHOLD)

reservedSize = TC_HIDDEN_VOLUME_HOST_FS_RESERVED_END_AREA_SIZE;

else

|| FormatSectorSize % ENCRYPTION_DATA_UNIT_SIZE != 0)

{

Error ("SECTOR_SIZE_UNSUPPORTED", hwndDlg);

}

/* WARNING: Note that if Windows fails to format the volume as NTFS and the volume size is

less than the maximum FAT size, the user is asked within this function whether he wants to instantly

retry FAT format instead (to avoid having to re-create the whole container again). If the user

Therefore, whenever adding or modifying any potentially destructive operations below 'begin_format',

use the 'bInstantRetryOtherFilesys' flag to skip them. */

if (volParams->hiddenVol)

if ((dev = DismountDrive (devName, volParams->volumePath)) == INVALID_HANDLE_VALUE)

{

Error ("FORMAT_CANT_DISMOUNT_FILESYS", hwndDlg);

goto error;

}

would otherwise prevent us from writing to hidden sectors). */

if (!DeviceIoControl (dev,

FSCTL_ALLOW_EXTENDED_DASD_IO,

NULL,

NULL,

0,

&dwResult,

}

else if (IsOSAtLeast (WIN_VISTA) && driveLetter == -1)

{

// to which no drive letter has been assigned under the system. This problem can be worked

// around by assigning a drive letter to the partition temporarily.

BOOL bResult = FALSE;

tmpDriveLetter = GetFirstAvailableDrive ();

if (tmpDriveLetter != -1)

{

rootPath[0] += (wchar_t) tmpDriveLetter;

szDriveLetter,

volParams->volumePath);

&& SetVolumeMountPoint (rootPath, uniqVolName))

{

// The drive letter can be removed now

// For extra safety, we will try to gain "raw" access to the partition. Note that this should actually be

// redundant because if the filesystem was mounted, we already tried to obtain DASD above. If we failed,

// for extra safety, in case IsDeviceMounted() failed to detect a live filesystem, we will blindly

// send FSCTL_ALLOW_EXTENDED_DASD_IO (possibly for a second time) without checking the result.

DeviceIoControl (dev,

FSCTL_ALLOW_EXTENDED_DASD_IO,

NULL,

NULL,

0,

&dwResult,

NULL);

// so that the filesystem driver does not prevent us from formatting hidden sectors.

for (nPass = (bFailedRequiredDASD ? 0 : 1); nPass < 2; nPass++)

{

{

if (!volParams->bForceOperation && (Silent || (IDNO == MessageBoxW (volParams->hwndDlg, GetString ("DEVICE_IN_USE_FORMAT"), lpszTitle, MB_YESNO|MB_ICONWARNING|MB_DEFBUTTON2))))

{

goto error;

}

}

{

handleWin32Error (volParams->hwndDlg, SRC_POS);

Error ("CANT_ACCESS_VOL", hwndDlg);

goto error;

}

}

char buf [2 * TC_MAX_VOLUME_SECTOR_SIZE];

DWORD bw;

// formatting hidden sectors

memset (buf, 0, sizeof (buf));

if (!WriteFile (dev, buf, sizeof (buf), &bw, NULL))

{

goto error;

}

if (DeviceIoControl (dev, FSCTL_IS_VOLUME_MOUNTED, NULL, 0, NULL, 0, &dwResult, NULL))

{

Error ("FORMAT_CANT_DISMOUNT_FILESYS", hwndDlg);

goto error;

}

}

if (dev == INVALID_HANDLE_VALUE)

{

goto error;

}

DWORD tmp;

if (!DeviceIoControl (dev, FSCTL_SET_SPARSE, NULL, 0, NULL, 0, &tmp, NULL))

{

goto error;

}

}

// Check hidden volume size

if (volParams->hiddenVolHostSize < TC_MIN_HIDDEN_VOLUME_HOST_SIZE || volParams->hiddenVolHostSize > TC_MAX_HIDDEN_VOLUME_HOST_SIZE)

nStatus = ERR_VOL_SIZE_WRONG;

goto error;

}

// Seek to hidden volume header location

headerOffset.QuadPart = TC_HIDDEN_VOLUME_HEADER_OFFSET;

if (!SetFilePointerEx ((HANDLE) dev, headerOffset, NULL, FILE_BEGIN))

// Validate the offset

if (dataOffset % FormatSectorSize != 0)

{

goto error;

}

if (volParams->bDevice && !StartFormatWriteThread())

{

goto error;

}

StopFormatWriteThread();

break;

case FILESYS_FAT:

if (num_sectors > 0xFFFFffff)

{

goto error;

}

ft.sector_size = (uint16) FormatSectorSize;

ft.cluster_size = volParams->clusterSize;

memcpy (ft.volume_name, "NO NAME ", 11);

*(volParams->realClusterSize) = ft.cluster_size * FormatSectorSize;

if (volParams->bDevice && !StartFormatWriteThread())

{

goto error;

}

break;

default:

goto error;

}

return FALSE;

}

if (GetSystemDirectory (dllPath, MAX_PATH))

{

StringCchCatW(dllPath, ARRAYSIZE(dllPath), L"\\fmifs.dll");

}

else

StringCchCopyW(dllPath, ARRAYSIZE(dllPath), L"C:\\Windows\\System32\\fmifs.dll");

hModule = LoadLibrary (dllPath);

if (hModule == NULL)

StringCchCatW (dir, ARRAYSIZE(dir), L":\\");

FormatExError = TRUE;

// Windows sometimes fails to format a volume (hosted on a removable medium) as NTFS.

// It often helps to retry several times.

for (i = 0; i < 50 && FormatExError; i++)

if (*write_buf_cnt == FormatWriteBufferSize && !FlushFormatWriteBuffer (dev, write_buf, write_buf_cnt, nSecNo, cryptoInfo))

return FALSE;

if (GetTickCount () - updateTime > 25)

{

if (UpdateProgressBar (*nSecNo * FormatSectorSize))

static HANDLE WriteBufferFullEvent;

static volatile HANDLE WriteRequestHandle;

static volatile DWORD WriteRequestResult;

if (!WriteFile (WriteRequestHandle, WriteThreadBuffer, WriteRequestSize, &bytesWritten, NULL))

WriteRequestResult = GetLastError();

WriteRequestResult = ERROR_SUCCESS;

if (!SetEvent (WriteBufferEmptyEvent))

{

if (WaitForSingleObject (WriteBufferEmptyEvent, INFINITE) == WAIT_FAILED)

return FALSE;

if (WriteRequestResult != ERROR_SUCCESS)

{

SetEvent (WriteBufferEmptyEvent);