Bolt: on-demand infinite loop escape in unmodified binaries
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 pro...
Main Authors: | Kling, Michael W. (Author), Misailovic, Sasa (Author), Carbin, Michael James (Author), Rinard, Martin C (Author) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor) |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM),
2020-06-12T20:10:53Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Detecting and escaping infinite loops with jolt
by: Carbin, Michael James, et al.
Published: (2012) -
Detecting and escaping infinite loops using Bolt
by: Kling, Michael (Michael W.)
Published: (2013) -
Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015) -
Verified integrity properties for safe approximate program transformations
by: Kim, Deokhwan, et al.
Published: (2014) -
Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012)