Bolt: On-demand infinite loop escape in unmodified binaries

Michael Kling, Sasa Misailovic, Michael Carbin, Martin Rinard

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish (US)
Pages (from-to)431-450
Number of pages20
JournalACM SIGPLAN Notices
Volume47
Issue number10
DOIs
StatePublished - Oct 2012
Externally publishedYes

Keywords

  • Bolt
  • Error Recovery
  • Infinite Loop
  • Unresponsive Program

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Bolt: On-demand infinite loop escape in unmodified binaries'. Together they form a unique fingerprint.

Cite this