Demo of the CodeContracts static checker with code fixes
- Francesco Logozzo, Microsoft
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
-
-
Francesco Logozzo
-
-
Watch Next
-
-
-
-
-
Episode 4: A distribution channel for AI innovation
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 5: Breakthroughs in AI
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 6: Healthcare Agent Orchestrator
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 7: The road ahead
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
-
Microsoft Research India - The lab culture
- P. Anandan,
- Indrani Medhi Thies,
- B. Ashok
