Bolt: on-demand infinite loop escape in unmodified binaries
Name
oopsla12.pdf
Description
Accepted version
Size
286.04 KB
Format
Adobe PDF
Checksum (MD5)
e83a9a02ea91de6ec1cd5bd448cbaf0e
Author(s)
Kling, Michael W.
Misailovic, Sasa
Carbin, Michael James
Rinard, Martin C
Date Issued
October 2012
Journal
ACM SIGPLAN Notices
Publisher
Association for Computing Machinery (ACM)
Citation
Kling, Michael, et al. "Bolt: on-demand infinite loop escape in unmodified binaries." ACM SIGPLAN Notes 47,10 (2012), 431–450. https://doi.org/10.1145/2398857.2384648
Version
Author's final manuscript
Abstract
We present Bolt, a novel system for escaping from infinite and long-running loops. Directed by a user, Bolt can attach to a running process and determine if the program is executing an infinite loop. If so, Bolt can deploy multiple strategies to escape the loop, restore the responsiveness of the program, and enable the program to deliver useful output. Bolt operates on stripped x86 and x64 binaries, dynamically attaches and detaches to and from the program as needed, and dynamically detects loops and creates program state checkpoints to enable exploration of different escape strategies. Bolt can detect and escape from loops in off-the-shelf software, without available source code, and with no overhead in standard production use. Copyright © 2012 ACM.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/2398857.2384648
