TSL: A system for generating abstract interpreters and its application to machine-code analysis
Junghee Lim, Thomas Reps[doi] [Google Scholar] [DBLP] [Citeseer] [url]
ACM Transactions on Programming Languages and Systems (TOPLAS)
35(1)
Association for Computing Machinery
New York, NY, USA
apr 2013
Note(s): ISA specification, Abstract interpretation
Association for Computing Machinery
New York, NY, USA
apr 2013
Note(s): ISA specification, Abstract interpretation