Show simple item record

dc.contributor.authorLim, Junghee
dc.contributor.authorReps, Thomas
dc.date.accessioned2012-10-12T19:04:34Z
dc.date.available2012-10-12T19:04:34Z
dc.date.issued2012-10-02
dc.identifier.citationTR1775en
dc.identifier.urihttp://digital.library.wisc.edu/1793/63271
dc.description.abstractThis paper describes the design and implementation of a system, called TSL (for "Transformer Specification Language"), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code. TSL is a tool generator--i.e., a meta-tool--that automatically creates different abstract interpreters for machine-code instruction sets. The most challenging technical issue that we faced in designing TSL was how to automate the generation of the set of abstract transformers for a given abstract interpretaton of a given instruction set. From a description of the concrete operational semantics of an instruction set, together with the datatypes and operations that define an abstract domain, TSL automatically creates the set of abstract transformers for the instructions of the instruction set. TSL advances the state of the art in program analysis because it provides two dimensions of parameterizability: (i) a given analysis component can be retargeted to different instruction sets; (ii) multiple analysis components can be created automatically from a single specification of the concrete operational semantics of the language to be analyzed. TSL is an abstract-transformer-generator generator. The paper describes the principles behind TSL, and discusses how one uses TSL to develop different abstract interpreters.en
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciences
dc.subjectAbstract interpretation, machine-code analysis, dynamic analysis, symbolic analysis, static analysis, dataflow analysisen
dc.titleTSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysisen
dc.typeTechnical Reporten


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • CS Technical Reports
    Technical Reports Archive for the Department of Computer Sciences at the University of Wisconsin-Madison

Show simple item record