Safe and Automated State Transfer for Secure and Reliable Live Update

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


Traditional live update systems offer little or no automated support for state transfer between two different program versions with changes in the program state. In this paper, we report our efforts to build a safe and automated state transfer framework for C programs that requires a minimal number of program state annotations and handles common structural state changes with no programmer assistance. To handle more complex state transformations, the framework includes a number of extension mechanisms designed to minimize the overall programming effort. Our experience with real-world programs suggests that our framework can handle all the standard C idioms and support safe and automated state transfer for complex state changes. We believe our approach is effective in several update scenarios and significantly raises the bar on the security and reliability of live update.
Original languageEnglish
Title of host publicationProceedings of the Fourth International Workshop on Hot Topics in Software Upgrades
ISBN (Electronic)978-1-4673-1764-1
ISBN (Print)978-1-4673-1765-8
Publication statusPublished - 2012


Dive into the research topics of 'Safe and Automated State Transfer for Secure and Reliable Live Update'. Together they form a unique fingerprint.

Cite this