Demo of the CodeContracts static checker with code fixes

Date

September 21, 2012

Overview

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