EXTRA BITS: Demonstrating How Code Checking Works - Computerphile |
Description: Facebook's Peter O'Hearn goes through some of the techniquest that Infer, their code checker, uses. This is extra material from the 'Facebook Code Checker' video: https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com |