Language and Tool Support for Semantic Bug Analysis
Some bugs, among the millions that exist, are similar to each other. When fixing a bug, a programmer tends to search for similar bugs that have been reported and resolved in the past. A fix for a similar bug can help him understand his bug, or even directly fix his bug. Studying bugs with similar symptoms, programmers may determine how to detect or resolve them. Existing work has focused on analyzing bug reports and other unstructured bug information. To tackle the problem of finding similar bugs, the authors propose and advocate the systematic use of semantic bug information in the form of execution traces, the most practical and precise approximation of semantics.