Browsing by Subject "Abstract interpretation, machine-code analysis, dynamic analysis, symbolic analysis, static analysis, dataflow analysis"
Now showing items 1-1 of 1
-
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
(University of Wisconsin-Madison Department of Computer Sciences, 2012-10-02)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 ...