staticdetec.pptVIP

RacerX: effective, static detection of race conditions and deadlocks Dawson Engler and Ken Ashcraft Stanford University The problem. Big picture: Races and deadlocks are bad. Hard to get w/ testing: depend on low-probability events. Want to get rid of them. Main games in town have problems. Language: Mesa, Java, various type systems. Forced to use language; still have errors Tools: Dynamic (Eraserco): must execute code: no run, no bug. Static (ESC, Warlock): High annotation overhead. Static dynamic high false positive rates. RacerX: lightweight checking for big code Goal: As many