TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis

@article{Lim2013TSLAS,
  title={TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis},
  author={Junghee Lim and Thomas W. Reps},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2013},
  volume={35},
  pages={4:1-4:59}
}
This article 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---that is, a metatool---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… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 25 extracted citations

References

Publications referenced by this paper.