[Last updated 31 Aug 2016, 16:11 Eastern time] Update: As of 31 August 2016, we have verified that RS1 symbols are now present and indexed on the MSFT Symbol Server. Yay! We’re back in business! The hits to driver developers just keep on coming when it comes to RS1. The latest? The symbols for WDF01000.SYS and […]
Careful With Your WDK Updates!
I can never help myself when it comes to updating to the latest WDK. It’s always exciting to diff the old contents with the new and see what’s really going on in the operating system. And not since the XP DDK have I ever had a problem jumping on the bandwagon early (except that one […]
Careful With Your VS 2015 Updates!
[Last updated 3 Aug 2016, 11:05 Eastern time to clarify some wording] Yesterday was 2 August 2016 — Windows 10 Anniversary Update (1607, build 14393) was released. As welcome as the Windows updates themselves are, they also come with updates to VS, the SDK, and the WDK. In the past 24 hours we’ve discovered that […]
Fix WDK Doc Issues — Yourself. And Fast!
If you use the WDK doc set all day, every day, you almost certainly have a few pet peeves — things in the docs that drive you nuts and that you’d like to change. Now, you make those changes yourself! Well, almost. In its latest move to open source, Microsoft has started putting all the WDK documentation on GitHub. No, […]
Turning DbgPrint Statements into WPP Tracing
As surprising as you may find this, I’m going to write a couple of blog posts about WPP Tracing. Some Background for Context Those of you who’ve followed us for a while know that we haven’t exactly been known as fans of WPP Tracing over the past few years. Well, as Chaucer said “As tyme […]
!pool Broken for Windows 10 Build 10586 Targets
I’ll start by stating that the Debugging Tools team is aware of this problem and a fix the public PDBs is in the pipeline. It might take a while for that to show up, so I wanted to make sure everyone was aware of the issue. The !pool WinDbg command has been rendered useless when […]
Checked Kernel and HAL back in the WDK!
While installing an entire checked build has always been a pain, a Partial Checked Build gives you the majority of the benefit without all of the hassle. For a long while now the WDK has shipped with the checked kernel and HAL from the corresponding Windows release, which made it even easier to get your code running […]
Sources/Dirs Converter? Gone from the Win 10 V1511 WDK
It’s becoming clear that VS 2015 (Update 1) and the Win 10 WDK V1511 is the “gift that keeps on giving”… but not necessarily is a good way. Last week, we discovered that SDV was broken — in fact, completely disabled — by VS 2015 Update 1. Today, I was going to do some work on […]
Oops! VS 2015 Update 1 Breaks Static Driver Verifier
If you value SDV, you might just want to hold-off installing VS 2015 Update 1. Because VS 2015 Update 1 renders SDV completely inoperative.
WdfWaitLockAcquire and Code Analysis: When SAL Goes Wrong
I love Source Code Annotation Language, I really do. I’ve already blogged about how great it is in my previous post, SAL Annotations, Don’t Hate Me Because I’m Beautiful. I even spend time in our Kernel Debugging seminar discussing SAL as a way to avoid having bugs in your code in the first place. The […]
OSR Open Systems Resources, Inc.