Havoc on Ntfs'

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


Category:
Discussion
Duration: 58:18
12 views
0

Brian will talk about his experience this summer developing and using the Havoc annotation-based tool to target resource leaks, data races and teardown races in the Ntfs code base, finding ~50 potential bugs, most of which have been confirmed by the Ntfs developers.  This includes discussion of developing property- and system-specific annotation languages (expressed in terms of lower level annotations), checking and inferring these in a large (300+ KLOC) code base, the various properties checked for Ntfs and the complexities encountered.



Other Videos By Microsoft Research


2016-09-06Bulldozers, Termites, and Chainsaws: Finding a Gradual Path to Parallelism
2016-09-06Gibbs Measures on Trees and Random Graphs
2016-09-06Discovering Heap Anomalies in the Wild
2016-09-06Giving Campaign lunch: Woodland Park Zoo
2016-09-06oPtions: The Secret Life of Steve Jobs [1/92]
2016-09-06(Computational) Linguistics and the Web: Hot research questions
2016-09-06Education for a Brighter Future
2016-09-06Compiler and Microarchitectural Techniques for Leakage Power Reduction
2016-09-06Robust Sensor Placements and Submodular Functions
2016-09-06On Graph Kernels
2016-09-06Havoc on Ntfs'
2016-09-06Generating Internal Representations through Interactions with the Real-World Environments
2016-09-06Identifying Similar Past Events in a Continuous Monitoring System
2016-09-06Microtrends: The Small Forces Behind Tomorrow's Big Changes [1/22]
2016-09-06In-Situ Model Checking of MPI Parallel Programs
2016-09-06Lifelong user models, memory and learning
2016-09-06Feedback Arc Sets and Girth in Digraphs
2016-09-06Anomaly Detection in Large Networks using Approximation Techniques [1/7]
2016-09-06Network Visualization: Two new strategies and their case study evaluations
2016-09-06From Sensors to Semantics: Intelligent Context for Situated Computing [1/4]
2016-09-06Learning Models of Human Activities and Interactions using Multi-Modal Wearable Sensors


Tags:
microsoft research