Здравствуйте, okman, Вы писали:

O>У меня нет цели разрабатывать какую-то обобщенную мега-систему для тестирования драйверов и тем более пытаться
O>куда-то ее продавать. Я просто пишу тесты под драйверы, которые разрабатываю или поддерживаю.

А можно взглянуть на тесты? Точнее, конкретно на "прокси" для функций.
Если не хочешь продавать, то, может быть, попрошу тебя собрать эти прокси воедино и продокументировать бесплатно

O>Но никто же не мешает сами драйверы компилить WinDDK 7.1, а тесты для них писать на VS2017, используя самые последние версии C++.

Возможно, и в самих драйверах тоже найдется место C++.
Из C++ многого не хватает, потому я решил в драйвере, который поддерживаю, оставить авторский стиль: код делать .cpp, а заголовки .h, чтобы заголовки можно было использовать и из .cpp, и из .c, а на чем реализация — это уже на усмотрение программиста. (В то же время, я сохраняю часть правил Си, например переменные реально лучше объявлять в начале кода, чтобы знать, что если все эти переменные корректно очищаются, то нигде не может быть утечек.)
Правда, драйвер как-то слишком долго думает, и я попробую переписать его на Си.
Но если окажется, что нужен C++, то выйдет, что C++ нужен еще и новый.
Отсюда возникла идея перейти на новый WinDDK (полагаю, там C++ вплоть до 17), ну а VS для тестов и самих драйверов тоже — это само собой.
До какой версии можно WinDDK, если драйвер должен быть совместим с WinXP?