An improved algorithm for slicing machine code

Abstract

Machine-code slicing is an important primitive for building binary analysis and rewriting tools, such as taint trackers, fault localizers, and partial evaluators. However, it is not easy to create a machine-code slicer that exhibits a high level of precision. Moreover, the problem of creating such a tool is compounded by the fact that a small amount of local imprecision can be amplified via cascade effects.

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 19, 2016
Source ID
10.1145/3022671.2984003

Entities

People

  • Thomas Reps
  • Venkatesh Srinivasan

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • University of Wisconsin–Madison
  • Wisconsin Alumni Research Foundation

Tags

Fields of Study

  • Computer science
  • Engineering

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Cybersecurity.
  • Graph Algorithms and Convex Optimization.