# Vault 7: Projects

This publication series is about specific projects related to the Vault 7 main publication.

### Angelfire

# BadMFS -- Developer Guide

- 1
- 2
…
- 5
- 6
- 7
- 8
- 9
…
- 13
- 14

unique file the
handle represents. This method should only be called once for each time a
bmfsCreateFile is
called on the file the handle represents.
Errors may occur if bmfsCloseHandle is called multiple times per creation. If
this happens
unwanted writes could occur, causing the file state to become unknown.
bmfsWriteFile
Writes the supplied buffer into the file specified by the supplied handle.
NTSTATUS bmfsWriteFile(
[in] BadMFS_HANDLE fileHandle,
[in] BYTE* inBuffer,
[in] DWORD dwBufferSize,
[out] DWORD* dwBytesWritten
);
Parameters
BadMFS_HANDLE fileHandle [in]
Handle created by bmfsCreateFile which represents the unique file to be
modified.
BYTE* inBuffer [in]
The buffer of data which will be written to the specified file.
DWORD dwBufferSize [in]
Size of the buffer which will be written to the specified file.
DWORD* dwBytesWritten [out]
Will contain the number of bytes which were actually written upon successful
completion of the
bmfsWriteFile function.
Return Value
bmfsWriteFile will return STATUS_SUCCESS upon successful completion.
Upon successful return the supplied DWORD, dwBytesWritten, will have the
number of bytes
written to the file.
Remarks

- 1
- 2
…
- 5
- 6
- 7
- 8
- 9
…
- 13
- 14