SOSP09: Session 3: Debugging
Automatically Patching Errors in Deployed Software [PDF]
Jeff H. Perkins (MIT), Sunghun Kim (HKUST), Sam Larsen (VMware), Saman Amarasinghe (MIT), Jonathan Bachrach (MIT), Michael Carbin (MIT), Carlos Pacheco (BCG), Frank Sherwood, Stelios Sidiroglou (MIT), Greg Sullivan (BAE AIT), Weng-Fai Wong (NUS), Yoav Zibin (Come2Play), Michael D. Ernst (U. of Washington), Martin Rinard (MIT)
—————————
1) Use Daikon to learn invariants
2) Use labeled correct and buggy runs to learn the violated invariants during attack
3) Force the learnt invariant
Q: What if it introduces a new silent bug?
A: That risks exist.
Detecting Large-Scale System Problems by Mining Console Logs [PDF]
Wei Xu (UC Berkeley), Ling Huang (Intel Research Berkeley), Armando Fox (UC Berkeley), David Patterson (UC Berkeley), Michael Jordan (UC Berkeley)
—————————
0) turn on the right logging level
1) Use the source code to understand the schema of the logs
2) Parse the log file
3) Look for anomalies
Q: How do you know what is the right logging level?
A: I Guess
Q: What if the bug does not show up after turning on a finer logging level?
A: no solution
Tags: SOSP09