TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
File(s)
Date
2012-10-02Author
Lim, Junghee
Reps, Thomas
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordAbstract
This 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.
Subject
Abstract interpretation, machine-code analysis, dynamic analysis, symbolic analysis, static analysis, dataflow analysis
Permanent Link
http://digital.library.wisc.edu/1793/63271Citation
TR1775
Part of
Related items
Showing items related by title, author, creator and subject.
-
Examining the Relationship between Alcohol Outlets and Crime in Eau Claire County, WI
Baum, Rebekah (2010-04)The goal of this study is to explore the geographic relationships between crime occurrences and alcohol outlets within Eau Claire County, Wisconsin through both ordinary least squares and step-wise regression. Independent ... -
Crime Hot Spots & Spatial Regressions (Eau Claire County, Wisconsin)
Sackmann, Matt (2011-05)The purpose of this study is to run multiple regression models for different crime categories in Eau Claire County to explore the geographic relationship between crime and a suite of explanatory variables. The results ... -
Developing a dynamic Huff model for business analysis using location big data
Liang, Yunlei (2020)The Huff model has been widely used in location-based business analysis for delineating a trade area containing potential customers to a store. Calibrating the Huff model and its extensions requires empirical location visit ...