DSD: A Hybrid Analysis Tool for Bug Finding

Channel:
United States Google TechTalks
Subscribers:
348,000
Published on ● Video Link: https://www.youtube.com/watch?v=6YHMB9ESSgA


Duration: 42:07
730 views
3

Google TechTalks
July 13, 2006

Christoph Csallner

ABSTRACT
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain. S. Statically analyze the program within the restricted input domain to explore many paths. D. Automatically generate test cases that focus on verifying the results of the static analysis. Thereby confirmed results are never false positives, as opposed to the high false positive rate inherent in conservative static analysis.

This three-step approach yields benefits compared to...



Other Videos By Google TechTalks


2007-10-26Implementing Drupal
2007-10-25(re-)Organizing and (non-)transactions
2007-10-24Similarity Search: A Web Perspective
2007-10-23THIRST: How to Dig a Well
2007-10-19PhotoTechEDU Day 29: Photographing VR Panoramas
2007-10-19Inside VMware Fusion
2007-10-18sex on the internet, the realities of porn, sexual privacy,
2007-10-17Making Great Decisions
2007-10-09Distributed Testing with SmartFrog
2007-10-09Data Representation/Laplace Operator
2007-10-08DSD: A Hybrid Analysis Tool for Bug Finding
2007-10-08Java Posse Episode 100 (Live Special)
2007-10-08Practical Common Lisp
2007-10-08Security is Broken
2007-10-08Everything is Miscellaneous
2007-10-08Impact of Technology on Reducing Poverty and Alleviating...
2007-10-08Spiritual Computing
2007-10-08Bay Area Discrete Math Day XII: Integer Linear Programming
2007-10-08Statistical Aspects of Data Mining (Stats 202) Day 1
2007-10-08Better Than Ethanol? BTL in plug-in hybrid diesel vehicles
2007-10-08FScript - a scripting solution for Mac OS X / Cocoa


Tags:
google
howto
dsd
hybrid
analysis
tool
bug