Invited by Zhang, Zhaoqing, the a Professor of Key Laboratory of Computer System and Architecture,Institute of Computing Technology, Chinese Academy of Sciences, Dr. Liang, Zhenkai gave a talk on “Error Detection and Debugging through Software Binary Analysis and Comparison” on July-03-2012. The talk began at 10:30AM in Room 446.
In this talk, Dr. Liang, Zhenkai represented one of his solutions to error detection and software debugging-- building symbolic formula to represent how a program processes inputs to compare software. First, it introduces an automated approach to detect software errors by finding deviations in two implementations of a specification, i.e., differences in the way they process their inputs. Dr. Liang showed how symbolic formula can be used to compare programs effectively to reveal deviations. Second, this technique shows an approach for debugging software errors in evolving programs or programs from the same specification: Given two programs (a reference, stable program and a new, modified program) and an input that fails on the modified program, this approach uses concilc execution to synthesize new inputs that differ marginally from the failing input in their control flow behavior. A comparison of the execution traces of the failing input and the new inputs provides critical clues to the root-cause of the failure. The technique also introduces the underlying binary analysis platform, BitBlaze, and its other applications in debugging and system security.
After the talk, attendees carried out lively discussion on related issues. Thanks Dr. Liang so much for bringing us this excellent talk.