Add SAL annotations to Dokan callbacks parameters

[infeo]

Summary

Add to all callbacks SAL annotations to indicate the intent of pointer paramters.

Description

First of all, i'm not a c++ programmer, so I don't know if this makes sense or is even feasible.

This question arose to me during the migration fom Dokany 1.x to 2.x. Newer functions like DokanCloseHandle(...) are using SAL annotations to indicate the usage intent of function parameters and so, reduce misuse of them.

From my point of view, such annotations would be also benefical for the dokan callbacks, since it is not always clear, which parameter struct can and should be altered. Especially this holds for the DokanFileInfo struct, since this one cannot be looked up in any Windows documentation.

As an example, in the sample mirrorfs, in the dokanFileInfo struct the directory attribute is set:

dokany/samples/dokan_mirror/mirror.c

Lines 274 to 284 in 1ffacd4

	if (fileAttr != INVALID_FILE_ATTRIBUTES &&
	fileAttr & FILE_ATTRIBUTE_DIRECTORY) {
	if (CreateOptions & FILE_NON_DIRECTORY_FILE) {
	DbgPrint(L"\tCannot open a dir as a file\n");
	return STATUS_FILE_IS_A_DIRECTORY;
	}
	DokanFileInfo->IsDirectory = TRUE;
	// Needed by FindFirstFile to list files in it
	// TODO: use ReOpenFile in MirrorFindFiles to set share read temporary
	ShareAccess |= FILE_SHARE_READ;
	}

I would assume the kernel driver is responsible for setting such attributes correctly, but it seems like we have to deal with it.

[ljluestc]

#include <sal.h>

// Example callback function with SAL annotations
NTSTATUS DOKAN_CALLBACK MyDokanCreateFile(
    LPCWSTR FileName,
    PDOKAN_IO_SECURITY_CONTEXT SecurityContext,
    ACCESS_MASK DesiredAccess,
    ULONG FileAttributes,
    ULONG ShareAccess,
    ULONG CreateDisposition,
    ULONG CreateOptions,
    PDOKAN_FILE_INFO DokanFileInfo) 
{
    // Your implementation here
    return STATUS_SUCCESS;
}