More about HKUST
Automated Techniques for Tracing and Diagnosing Crashing Bugs
PhD Thesis Proposal Defence
Title: "Automated Techniques for Tracing and Diagnosing Crashing Bugs"
by
Mr. Rongxin WU
Abstract:
Software crashes are severe manifestation of software bugs. Crashes are often
required to be fixed with a high priority. Due to the severity of crashing
bugs, companies (e..g, Microsoft and Apple) and open source communities
(Mozilla and Netbeans) have widely deployed crash reporting systems to
automatically collect program execution stacks when crashes occur. While crash
reporting systems can massively collect and group similar crash reports, they
offer little support for debugging and fixing crashes. As a result, crash
diagnosis processes requires manual efforts mostly, which are tedious and
expensive.
However, automating such diagnosis involves the following major challenges.
First, each collected crash report contains only the last program execution
stack (i.e., crash stack) when a crash occurs. The crash stack logs the
crashing function and its calling chain, which provides brief information of
the failed execution and is not sufficient for debugging. Second, crash reports
can be numerous because a single bug can generate many crash reports due to
different inputs or configurations. Diagnosing such a large volume of crash
reports is non-trivial. Moreover, diagnosing crashes requires to understand the
root causes of crashing bugs. Tracing the crash executions via program
instrumentation is a common practice to narrow down and understand the root
causes. However, automating crash tracing involves two major challenges. First,
deployed software is required to run with minimal overhead and cannot afford a
heavyweight instrumentation approach to collect program execution information.
Furthermore, end users require that the logged information should not reveal
sensitive production data.
To address these challenges, in this thesis, we first propose a technique
CrashLocator to locate the buggy functions via statically analyzing and mining
from crash stacks. Furthermore, we propose an automatic program tracing
technique Casper, which collects program call traces information. We select
program call trace as the tracing data for crashing bugs, since it does not
expose user sensitive data and has been proved to be useful for crash
reproduction and bug diagnosis. Our proposed technique causes significantly
lower runtime and space overhead of call trace collection than the conventional
instrumentation approach.
Date: Tuesday, 22 November 2016
Time: 3:00pm - 5:00pm
Venue: Room 3494
(lifts 25/26)
Committee Members: Prof. Shing-Chi Cheung (Supervisor)
Dr. Sunghun Kim (Chairperson)
Dr. Charles Zhang
Dr. Raymond Wong
**** ALL are Welcome ****