What are annotations? } Essentially comments in the code that can be understood by static analysis tools (PREfast for Drivers, /analyze option in Visual Studio) Why are annotations needed? } Because they find bugs! } Annotations describe the contract
