Now showing items 1-3 of 3

    • Partial Evaluation of Machine Code 

      Srinivasan, Venkatesh; Reps, Thomas (2015-08-21)
      This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by specialization. However, machine-code ...
    • Synthesis of Machine Code from Semantics 

      Srinivasan, Venkatesh; Reps, Thomas (2015-02-03)
      In this paper, we present a technique to synthesize machine-code instructions from a semantic specification, given as a Quantifier-Free Bit-Vector (QFBV) logic formula. Our technique uses an instantiation of the Counter-Example ...
    • Synthesis of Machine Code: Algorithms and Applications 

      Srinivasan, Venkatesh (2017-03-08)
      The analysis of binaries has gotten an increasing amount of attention from the academic community in the last decade. The results of binary analysis have been predominantly used to answer questions about the properties of ...