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