Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Demo of the CodeContracts static checker with code fixes

Duration  00:02:00

Date recorded  21 September 2012

A short demo of cccheck/Clousot

The code implements a (buggy) Binary Search.

The squiggles are bugs found by the static checker.

The boxes are fixes suggested by it

©2012 Microsoft Corporation. All rights reserved.
> Demo of the CodeContracts static checker with code fixes