HyperDbg Debugger
HyperDbg debugger is an open-source, hypervisor-assisted user-mode, and kernel-mode Windows debugger with a focus on using hardware technologies.
Windbg2IDA Plugin
https://windbg2ida.ntdebug.com
Windbg2ida lets you dump each step (instruction) in Windbg then give you a dump file and you can use it later in your IDA to put color on each line of the instructions that you’ve run to show code coverage.
https://rayanfam.com/topics/vmcsauditor-a-bochs-based-hypervisor-layout-checker/
https://rayanfam.com/topics/pinitor/