Their process uses hooks added to the compiler to do the assessment. It's actually pretty neat, and was a real light-bulb moment for me when I considered it.

That means they'd have to debug the Doze C compiler first... =8^O