TSL
Abstract
This article describes the design and implementation of a system, called T SL (for Transformer Specification Language), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code. T SL is a tool generator---that is, a metatool---that automatically creates different abstract interpreters for machine-code instruction sets.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 01, 2013
- Source ID
- 10.1145/2450136.2450139
Entities
People
- Junghee Lim
- Thomas Reps
Organizations
- Air Force Research Laboratory
- Defense Advanced Research Projects Agency
- Division of Computing and Communication Foundations
- GrammaTech
- Office of Naval Research
- United States Army Research Laboratory
- University of Wisconsin–Madison