Static analysis as you code in Visual Studio

On-the-fly analysis provides the same usability model for static analysis as modern spell-checkers have done since Office 95's use of a previously Lotus-only capability for checking your words as you type them.

In source code form, this means that as you create or modify code, as soon as we have some snippet that parses reasonably, we analyze it and tell you what's wrong - literally in milliseconds. Erroneous constructs get the typical "squiggly" underline and a marker is left in the gutter to show exactly where the problem is found.

The normal trace window is available to show you the circumstances under which the bug will occur. All of this is available within the Visual Studio edit window, without the developer having to remember to analyze their code or do any retrospective issue citing.