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