Microsoft’s Better Buffer Overflow Trap?

Guest writes “One of the ways to stop buffer overflows is by checking your code before you release. After reviewing ARCHER, BOON, CSSV, Daikon, ESC/Java, Houdini, MECA, PolySpace C Verifier and Splint, Microsoft came up with its own code checker. In Microsoft’s humble opinion, it’s the best.”