Locating Runtime Failures using Differential Debugging

Affiliated to

Location

Timing

Description

We routinely encounter programs that used to work but after some change show an incorrect behavior at runtime. For example, a small change in the compiler, or a post-link optimizer can produce such incorrect version. Locating the exact point of failure may become a difficult task.

The research will use the following principles:
1) Explore various ways for automatically locating this point of failure, given a correct and incorrect versions of the program.
2) Use the concept of differential debugging in order to overcome trace size explosion.
3) Employ static binary program analysis to guide the debugging operation