Demo of the CodeContracts static checker with code fixes

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=pCt90I_2YM0


Duration: 2:04
442 views
2

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



Other Videos By Microsoft Research


2016-08-18Speech Recognition Breakthrough for the Spoken, Translated Word
2016-08-18Devices and Networking Summit - Session 1, Devices and Their Users
2016-08-18Video Portrait of Georges Gonthier
2016-08-18Kinected Browser - ITS 2012
2016-08-18TouchDevelop: Create Apps Anywhere, on All Your Devices
2016-08-18Freehand 3D Computer Interaction Without Gloves
2016-08-18The Future of Privacy in Social Media
2016-08-18Machine Learning and Intelligence in Our Midst
2016-08-18Foveated 3D Graphics
2016-08-18Managing Air Traffic Disruptions Through Strategic Prioritization
2016-08-18Demo of the CodeContracts static checker with code fixes
2016-08-18Automated Intelligence in Your Daily Life with Machine Learning
2016-08-18Security Research: a look back and a look ahead
2016-08-18Microsoft Research: Turning Ideas into Reality
2016-08-18UP-Miner working prototype (1280*720) v2
2016-08-18UP-Miner working prototype (960*540) v2
2016-08-18UP-Miner working prototype (1280*720)
2016-08-18UP-Miner working prototype
2016-08-18Estrea Loco
2016-08-18Mobile Indoor Navigation
2016-08-18Automatic Vertebrae Localization in Arbitrary Field-of-View CT Scans


Tags:
microsoft research