Site-wide links

<<   April 2015   >>
Su Mo Tu We Th Fr Sa
w       1 2 3 4
w 5 6 7 8 9 10 11
w 12 13 14 15 16 17 18
w 19 20 21 22 23 24 25
w 26 27 28 29 30    

  Search By:
Date Range:  
Start Date Click Here to open the calendar
End Date   Click Here to open the calendar
include date range

Event Details
Event Name: GCCIS PhD Colloquium Series
Category: Academic/College Events
Sub Category: GCCIS
Description: Patch Verification via Multiversion Interprocedural Control Flow Graphs

Presentation by
Wei Le, Ph.D.

Abstract: Software development is inherently incremental; however, it is challenging to correctly introduce changes on top of existing code. Recent studies show that 15%-24% of the bug fixes are incorrect, and the most important yet hard-to-acquire information for programming changes is whether this change breaks any code elsewhere. In this talk, I will present a framework, called Hydrogen, for patch verification. Hydrogen aims to automatically determine whether a patch correctly fixes a bug, a new bug is introduced in the change, a bug can impact multiple software releases, and the patch is applicable for all the impacted releases. Hydrogen consists of a novel program representation, namely multiversion interprocedural control flow graph (MVICFG), that integrates and compares control flow of multiple versions of programs, and a demand-driven, path-sensitive symbolic analysis that traverses the MVICFG for detecting bugs related to software changes and versions. Our experimental results show that Hydrogen correctly builds desired MVICFGs and is scalable to real-life programs such as libpng, tightvnc and putty. We experimentally demonstrate that MVICFGs can enable efficient patch verification. Using the results generated by Hydrogen, we have found a few documentation errors related to patches for a set of open-source programs.
Schedules: 04/04/2014   (11:00 AM - 12:00 PM)

Contact: Lorrie Jo Turner
Phone: 475-6193
Cost: Free