1 / 4

CS598-YYZ : Reliable and Robust Software Defect Detection

CS598-YYZ : Reliable and Robust Software Defect Detection. Yuanyuan (YY) Zhou. Discussion: Data Race Detection. What is the “happen-before” detection method? What is the “lockset” detection method? Tradeoffs? Discuss ways to combine them

griffin-gross
Download Presentation

CS598-YYZ : Reliable and Robust Software Defect Detection

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CS598-YYZ : Reliable and Robust SoftwareDefect Detection Yuanyuan (YY) Zhou

  2. Discussion: Data Race Detection • What is the “happen-before” detection method? • What is the “lockset” detection method? • Tradeoffs? • Discuss ways to combine them • Would a hybrid scheme be enough? Any limitations with the best hybrid scheme? CS598YYZ-Fall 2005

  3. Memory Bug Detection • Discuss methods to detect common memory bugs • Any other types of memory bugs that cannot be detected by any existing tools? CS598YYZ-Fall 2005

  4. May Beliefs and Must Beliefs • Any other may beliefs and must beliefs • Can think of domain specific languages or applications • How to apply it to distributed systems • May beliefs and must beliefs for distributed systems CS598YYZ-Fall 2005

More Related