# Vault 7: Projects

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

### Angelfire

# BadMFS -- Developer Guide

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

bmfsWriteFile will attempt to write the supplied buffer to the file specified. If
the write fails for
any reason an appropriate NTSTATUS code will be returned.
bmfsListFilesW
Provides a list of all visible files in the BadMFS partition. The caller will be expected
to clean up the buffer, which will be created using the pointer provided as an array
of strings.
NTSTATUS bmfsListFilesW( [out] WCHAR **inBuffer );
Parameters
WCHAR **inBuffer [out]
Array of strings which will be created by bmfsListFiles.
Return Value
Upon successful completion the supplied double pointer will contain
information about the
visible files within the BadMFS partition and STATUS_SUCCESS will be
returned.
Remarks
The caller is expected to supply a double pointer, which will be populated
with data in the form of an array of strings. The caller will also be expected
to clean up the supplied array of pointers when finished.
If no files exist STATUS_NO_MORE_FILES will be returned and the supplied
buffer will be set to NULL.
bmfsReadFile
Accepts a handle and a buffer and attempts to read data from the file specified by
the handle.
DWORD MexReadFile(
[in] BadMFS_HANDLE fileHandle,
[out] BYTE* outBuffer,

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