"A System for Generating Static Analyzers for Machine Instructions."

Junghee Lim, Thomas W. Reps (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics