Demo of the CodeContracts static checker with code fixes
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
-
-
다음 볼만한 동영상
-
-
LLMs vs. Torch 1.5: Why Your Code Assistant Can't Keep Up
Speakers:- Diganta Misra
-
